Merge pull request #745 from diffblue/remove_negate_property

remove temporal-logic/negate_property

Author: tautschnig

src/ebmc/bdd_engine.cpp

@@ -13,7 +13,6 @@ Author: Daniel Kroening, daniel.kroening@inf.ethz.ch
 
 #include <solvers/bdd/miniBDD/miniBDD.h>
 #include <solvers/sat/satcheck.h>
-#include <temporal-logic/negate_property.h>
 #include <temporal-logic/temporal_expr.h>
 #include <temporal-logic/temporal_logic.h>
 #include <trans-netlist/aig_prop.h>

src/temporal-logic/Makefile

@@ -1,5 +1,4 @@
-SRC = negate_property.cpp \
-      nnf.cpp \
+SRC = nnf.cpp \
       normalize_property.cpp \
       temporal_logic.cpp \
       #empty line