Fixed test broken by merge

pysmt · Feb 25, 2015 · d7de41f · d7de41f
1 parent f8d8866
commit d7de41f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pysmt/test/test_solving.py b/pysmt/test/test_solving.py
@@ -143,7 +143,7 @@ def test_examples_yices(self):
 
     def do_model(self, solver_name):
         for (f, _, satisfiability, logic) in get_example_formulae():
-            if satisfiability and not logic.uninterpreted and logic.quantifier_free:
+            if satisfiability and not logic.theory.uninterpreted and logic.quantifier_free:
                 with Solver(name=solver_name) as s:
                     s.add_assertion(f)