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 acf2b3cfab1818e592bc3719f3669af1bd03cccd..b3cac0d8cfe495d0ed3ae7c2eead07ad510f626e 100644 (file)
--- 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)
   {