From e8021a81993fe5ed201e7fdaf7af007e4d9d012b Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 20 Mar 2014 19:27:21 -0400
Subject: cleanup

---
 src/smt/smt_engine.h | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/smt')

diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h
index 8e400468c..c34d3ecba 100644
--- a/src/smt/smt_engine.h
+++ b/src/smt/smt_engine.h
@@ -277,9 +277,6 @@ class CVC4_PUBLIC SmtEngine {
    * as often as you like.  Should be called whenever the final options
    * and logic for the problem are set (at least, those options that are
    * not permitted to change after assertions and queries are made).
-   *
-   * FIXME: Above comment not true. Please don't call this more than
-   * once. (6/14/2012 -- K)
    */
   void finalOptionsAreSet();
 
-- 
cgit v1.2.3