From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Mon, 22 Nov 2021 18:37:44 +0000 (-0300)
Subject: [prop] Remove unused #define in theory proxy (#7670)
X-Git-Tag: cvc5-1.0.0~789
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=02b58a86eb90b2c21fcdf5aabbe8094016a7705f;p=cvc5.git

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

diff --git a/src/prop/theory_proxy.h b/src/prop/theory_proxy.h
index decae3f2a..d4f8fb3a2 100644
--- 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"