projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2026786)
Removed vestigial normal form notes file from src/theory/arith/Makefile.am. Should...
authorTim King <taking@cs.nyu.edu>
Thu, 17 Feb 2011 17:41:15 +0000 (17:41 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 17 Feb 2011 17:41:15 +0000 (17:41 +0000)
src/theory/arith/Makefile.am patch | blob | history

diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am
index 139a533509b7307bc4dc5e074d242b7b44baa8d2..002c080f78ecbbc3327d33587a50657f03fce2ab 100644 (file)
--- a/src/theory/arith/Makefile.am
+++ b/src/theory/arith/Makefile.am
@@ -31,5 +31,4 @@ libarith_la_SOURCES = \
        theory_arith.cpp
 
 EXTRA_DIST = \
-       kinds \
-       normal_form_notes.txt
+       kinds