diff --git a/examples/demo.py b/examples/demo.py index f22ba45ada48a7c7270661d5e33feb8c98196404..cbca0d8458bd32e15d478fe10bdadca03fad4c2c 100644 --- a/examples/demo.py +++ b/examples/demo.py @@ -9,8 +9,7 @@ bset = (isl.BasicSet.universe(space) .add_constraint(isl.Constraint.ineq_from_names(space, {1: 5, "y": -1}))) print("set 1 %s:" % bset) -bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }", - context=ctx) +bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }") print("set 2: %s" % bset2) bsets_in_union = []