Remove a useless assert in difference list tests.

massimo-nocentini · May 8, 2017 · 583eca7 · 583eca7
1 parent a2c6f2a
commit 583eca7
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/difference_structures_test.py b/src/difference_structures_test.py
@@ -64,8 +64,6 @@ def appendo(X, Y, XY):
         self.assertEqual(run(fresh(lambda out, X, Y, α, β:  appendo(([1,2,3]+α)-α, ([4,5,6]+β)-β, X-Y) & 
                                                             unify([X, Y], out))), 
                          [[[1, 2, 3, 4, 5, 6] + rvar(0), rvar(0)]])
-        self.assertEqual(run(fresh(lambda αβ, α, β: appendo(([i for i in range(1000)]+α)-α, ([-1]+β)-β, αβ))), 
-                        [])