From 02b58a86eb90b2c21fcdf5aabbe8094016a7705f Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Mon, 22 Nov 2021 15:37:44 -0300 Subject: [PATCH] [prop] Remove unused #define in theory proxy (#7670) --- src/prop/theory_proxy.h | 4 ---- 1 file changed, 4 deletions(-) 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 #include "context/cdqueue.h" -- 2.30.2