diffblue
diff --git a/‎src/cbmc/cbmc_solvers.cpp
-1 b/‎src/cbmc/cbmc_solvers.cpp
-1
diff --git a/‎src/cbmc/cbmc_solvers.h
-1 b/‎src/cbmc/cbmc_solvers.h
-1
diff --git a/‎src/solvers/Makefile
-2 b/‎src/solvers/Makefile
-2
diff --git a/‎src/solvers/prop/aig.cpp
-183 b/‎src/solvers/prop/aig.cpp
-183
diff --git a/‎src/solvers/prop/aig.h
-157 b/‎src/solvers/prop/aig.h
-157
@@ -23,7 +23,6 @@ Author: Daniel Kroening, [email protected]
 #include <solvers/refinement/bv_refinement.h>
 #include <solvers/refinement/string_refinement.h>
 #include <solvers/smt2/smt2_dec.h>
-#include <solvers/prop/aig_prop.h>
 #include <solvers/sat/dimacs_cnf.h>
 
 #include "bv_cbmc.h"
 
@@ -23,7 +23,6 @@ Author: Daniel Kroening, [email protected]
 #include <solvers/prop/prop_conv.h>
 #include <solvers/sat/cnf.h>
 #include <solvers/sat/satcheck.h>
-#include <solvers/prop/aig_prop.h>
 #include <solvers/smt2/smt2_dec.h>
 #include <goto-symex/symex_target_equation.h>
 
 
@@ -146,8 +146,6 @@ SRC = $(BOOLEFORCE_SRC) \
       floatbv/float_approximation.cpp \
       lowering/popcount.cpp \
       miniBDD/miniBDD.cpp \
-      prop/aig.cpp \
-      prop/aig_prop.cpp \
       prop/bdd_expr.cpp \
       prop/cover_goals.cpp \
       prop/literal.cpp \