diff --git a/examples/demo.py b/examples/demo.py index 81085d722b925bdc611c163b0f123d32a892ff81..cbca0d8458bd32e15d478fe10bdadca03fad4c2c 100644 --- a/examples/demo.py +++ b/examples/demo.py @@ -1,7 +1,6 @@ import islpy as isl -ctx = isl.Context() -space = isl.Space.create_from_names(ctx, set=["x", "y"]) +space = isl.Space.create_from_names(isl.DEFAULT_CONTEXT, set=["x", "y"]) bset = (isl.BasicSet.universe(space) .add_constraint(isl.Constraint.ineq_from_names(space, {1: -1, "x": 1}))