[prop] Remove unused #define in theory proxy (#7670)

diff --git a/src/prop/theory_proxy.h b/src/prop/theory_proxy.h
index decae3f2abfc2f08176ba021d6b33d479a614fb6..d4f8fb3a2df924f1f95636db1311352db0923806 100644 (file)
--- a/src/prop/theory_proxy.h
+++ b/src/prop/theory_proxy.h
@@ -18,10 +18,6 @@
 #ifndef CVC5__PROP__SAT_H
 #define CVC5__PROP__SAT_H
 
-// Just defining this for now, since there's no other SAT solver bindings.
-// Optional blocks below will be unconditionally included
-#define CVC5_USE_MINISAT
-
 #include <unordered_set>
 
 #include "context/cdqueue.h"