From 4edafb39fd8989238a01f3b0b925e191765799ad Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 19 Mar 2014 10:34:41 -0400 Subject: [PATCH] Fix proof signatures makefile --- proofs/signatures/Makefile.am | 1 + 1 file changed, 1 insertion(+) 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 -- 2.30.2