From 0b6743798125317a4e88366591028691fe7170f8 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 17 Feb 2011 17:41:15 +0000
Subject: [PATCH] Removed vestigial normal form notes file from
 src/theory/arith/Makefile.am. Should have been removed earlier.

---
 src/theory/arith/Makefile.am | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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
-- 
2.30.2