roll back a small change that made arith fail some asserts

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index f496f1fd5e92098a5d7a75e5294f43d442de9f92..86e808d66d3e32f5792876f4c6ff814e25088b68 100644 (file)
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -147,7 +147,7 @@ Node TheoryEngine::removeITEs(TNode node) {
     TypeNode nodeType = node[1].getType();
     if(!nodeType.isBoolean()){
 
-      Node skolem = nodeManager->mkSkolem(node.getType());
+      Node skolem = nodeManager->mkVar(node.getType());
       Node newAssertion =
         nodeManager->mkNode(
                             kind::ITE,