projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3cbb76e)
fix make dist
authorMorgan Deters <mdeters@gmail.com>
Thu, 13 Oct 2011 15:27:27 +0000 (15:27 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 13 Oct 2011 15:27:27 +0000 (15:27 +0000)
src/prop/Makefile.am patch | blob | history

diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am
index c9442a401fb9c77d3aef952ace7739cc325f2775..30be07d7c511734b1152ec594d6bb83b3b835c06 100644 (file)
--- 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