From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 13 Oct 2011 15:27:27 +0000 (+0000)
Subject: fix make dist
X-Git-Tag: cvc5-1.0.0~8418
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5cb65d8beac0f06fcafbef99d109c09ad029b14d;p=cvc5.git

fix make dist
---

diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am
index c9442a401..30be07d7c 100644
--- a/src/prop/Makefile.am
+++ b/src/prop/Makefile.am
@@ -12,7 +12,6 @@ libprop_la_SOURCES = \
 	prop_engine.h \
 	sat.h \
 	sat.cpp \
-	sat_timer.h \
 	cnf_stream.h \
 	cnf_stream.cpp