From 690fb2843d9845e405fee54eb2d8023eebbd5b72 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Wed, 9 May 2012 21:09:31 +0000 Subject: [PATCH] rm something for a future merge that sneaked in (gets rid of warning) --- src/decision/justification_heuristic.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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) { -- 2.30.2