Commits

Carl Friedrich Bolz committed d216546

disable varinterm for now

Comments (0)

Files changed (2)

prolog/interpreter/heap.py

 
     def newvar_in_term(self, parent, index):
         from prolog.interpreter.term import var_in_term_classes
+        return self.newvar() # disabled for now
         result = var_in_term_classes[index](parent)
         result.created_after_choice_point = self
         return result

prolog/interpreter/test/test_varinterm.py

 from prolog.interpreter.heap import Heap
 from prolog.interpreter.continuation import Engine
 from prolog.interpreter.test.tool import assert_true
+py.test.skip("disabled for now")
 
 def test_copy_standardize_apart():
     h = Heap()