Remove unused solvers/prop/prop_conv_store.{h,cpp}

NathanJPhillips · Jun 14, 2018 · 2639cf1 · 2639cf1
1 parent 502687e
commit 2639cf1
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 147 deletions.
diff --git a/src/solvers/Makefile b/src/solvers/Makefile
@@ -155,7 +155,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 \

diff --git a/src/solvers/prop/prop_conv_store.cpp b/src/solvers/prop/prop_conv_store.cpp
diff --git a/src/solvers/prop/prop_conv_store.h b/src/solvers/prop/prop_conv_store.h