From de0dd1dc966b05467f1a5443ff33094262f5076a Mon Sep 17 00:00:00 2001
From: Guy <katz911@gmail.com>
Date: Wed, 1 Jun 2016 17:41:17 -0700
Subject: Revert "Merging proof branch"

This reverts commit 89ba584531115b7f6d47088d7614368ea05ab9d8.
---
 src/proof/skolemization_manager.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/proof/skolemization_manager.h')

diff --git a/src/proof/skolemization_manager.h b/src/proof/skolemization_manager.h
index b026e21c2..de510e514 100644
--- a/src/proof/skolemization_manager.h
+++ b/src/proof/skolemization_manager.h
@@ -37,6 +37,7 @@ public:
   Node getSkolem(Node disequality);
   Node getDisequality(Node skolem);
   bool isSkolem(Node skolem);
+
   void clear();
 
   std::hash_map<Node, Node, NodeHashFunction>::const_iterator begin();
-- 
cgit v1.2.3