diff --git a/examples/demo.py b/examples/demo.py index 81085d722b925bdc611c163b0f123d32a892ff81..b546de0bad4fd23451ac6ef1fd61f5ac5bc040b1 100644 --- a/examples/demo.py +++ b/examples/demo.py @@ -10,7 +10,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 }") +bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }", context=ctx) print("set 2: %s" % bset2) bsets_in_union = []