From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 9 May 2012 21:09:31 +0000 (+0000)
Subject: rm something for a future merge that sneaked in
X-Git-Tag: cvc5-1.0.0~8195
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=690fb2843d9845e405fee54eb2d8023eebbd5b72;p=cvc5.git

rm something for a future merge that sneaked in

(gets rid of warning)
---

diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h
index acf2b3cfa..b3cac0d8c 100644
--- a/src/decision/justification_heuristic.h
+++ b/src/decision/justification_heuristic.h
@@ -161,9 +161,9 @@ public:
   }
 
   /* Compute justified */
-  bool computeJustified() {
+  /*bool computeJustified() {
     
-  }
+  }*/
 private:
   SatLiteral findSplitter(TNode node, SatValue desiredVal)
   {