projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f72e3a5)
Fix proof signatures makefile
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 19 Mar 2014 14:34:41 +0000 (10:34 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 19 Mar 2014 14:34:41 +0000 (10:34 -0400)
proofs/signatures/Makefile.am patch | blob | history

diff --git a/proofs/signatures/Makefile.am b/proofs/signatures/Makefile.am
index 42ba4826233f317dab20b90d3754f3ed6c72f0e7..9e8063bf2ea26bf5b063bf45d627cfca5bb790d8 100644 (file)
--- a/proofs/signatures/Makefile.am
+++ b/proofs/signatures/Makefile.am
@@ -34,4 +34,5 @@ EXTRA_DIST = \
        example.plf \
        example-arrays.plf \
        example-quant.plf \
+       ex-mem.plf \
        th_quant.plf