diffblue
diff --git a/‎src/solvers/Makefile
-1 b/‎src/solvers/Makefile
-1
diff --git a/‎src/solvers/prop/prop_conv_store.cpp
-78 b/‎src/solvers/prop/prop_conv_store.cpp
-78
diff --git a/‎src/solvers/prop/prop_conv_store.h
-68 b/‎src/solvers/prop/prop_conv_store.h
-68
@@ -158,7 +158,6 @@ SRC = $(BOOLEFORCE_SRC) \
       prop/prop.cpp \
       prop/prop_assignment.cpp \
       prop/prop_conv.cpp \
-      prop/prop_conv_store.cpp \
       qbf/qbf_quantor.cpp \
       qbf/qbf_qube.cpp \
       qbf/qbf_qube_core.cpp \