diff --git a/examples/demo.py b/examples/demo.py index cbca0d8458bd32e15d478fe10bdadca03fad4c2c..f22ba45ada48a7c7270661d5e33feb8c98196404 100644 --- a/examples/demo.py +++ b/examples/demo.py @@ -9,7 +9,8 @@ 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 = []