From: Tim King <taking@cs.nyu.edu>
Date: Thu, 17 Feb 2011 17:41:15 +0000 (+0000)
Subject: Removed vestigial normal form notes file from src/theory/arith/Makefile.am. Should... 
X-Git-Tag: cvc5-1.0.0~8705
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0b6743798125317a4e88366591028691fe7170f8;p=cvc5.git

Removed vestigial normal form notes file from src/theory/arith/Makefile.am. Should have been removed earlier.
---

diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am
index 139a53350..002c080f7 100644
--- 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