From 41483ef432845445816409454a2ea09872ed1afd Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 2 Mar 2012 23:43:50 +0000
Subject: [PATCH] Remove some commented out code from sat.h

---
 src/prop/sat.h | 26 --------------------------
 1 file changed, 26 deletions(-)

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 14b42e445..8456e5d88 100644
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -48,32 +48,6 @@ namespace prop {
 class PropEngine;
 class CnfStream;
 
-/* Definitions of abstract types and conversion functions for SAT interface */
-/*
-inline SatLiteral variableToLiteral(SatVariable var) {
-  return Minisat::mkLit(var);
-}
-
-inline bool literalSign(SatLiteral lit) {
-  return Minisat::sign(lit);
-}
-
-static inline size_t
-hashSatLiteral(const SatLiteral& literal) {
-  return (size_t) Minisat::toInt(literal);
-}
-
-inline std::string stringOfLiteralValue(SatLiteralValue val) {
-  if( val == l_False ) {
-    return "0";
-  } else if (val == l_True ) {
-    return "1";
-  } else { // unknown
-    return "_";
-  }
-}
-*/
-
 /**
  * The proxy class that allows the SatSolver to communicate with the theories
  */
-- 
2.30.2