From 3eac9d04c5d4bfba81142d4a5fe91b86590b32ae Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 29 Aug 2018 14:38:33 -0700
Subject: Refactor MipLibTrick preprocessing pass. (#2359)

---
 src/smt/logic_request.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/smt/logic_request.h')

diff --git a/src/smt/logic_request.h b/src/smt/logic_request.h
index 149939eb9..23add1cf4 100644
--- a/src/smt/logic_request.h
+++ b/src/smt/logic_request.h
@@ -42,6 +42,9 @@ public:
   /** Widen the logic to include the given theory. */
   void widenLogic(theory::TheoryId id);
 
+  /** Enable Integers. */
+  void enableIntegers();
+
 };/* class LogicRequest */
 
 }/* CVC4 namespace */
-- 
cgit v1.2.3