From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 19 Mar 2014 14:34:41 +0000 (-0400)
Subject: Fix proof signatures makefile
X-Git-Tag: cvc5-1.0.0~7011
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4edafb39fd8989238a01f3b0b925e191765799ad;p=cvc5.git

Fix proof signatures makefile
---

diff --git a/proofs/signatures/Makefile.am b/proofs/signatures/Makefile.am
index 42ba48262..9e8063bf2 100644
--- 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