From 72f552ead344b13d90832222157b970ae3dec8ff Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Thu, 15 Sep 2011 06:53:33 +0000
Subject: additional stuff for sharing,

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

(limited to 'src/prop/sat.h')

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 39977a96b..ee3978555 100644
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -226,8 +226,6 @@ public:
 
   void theoryPropagate(std::vector<SatLiteral>& output);
 
-  void clearPropagatedLiterals();
-
   void enqueueTheoryLiteral(const SatLiteral& l);
 
   void setCnfStream(CnfStream* cnfStream);
-- 
cgit v1.2.3