From 71c27ce164641d86ac0dec1faa56a471cf7518d3 Mon Sep 17 00:00:00 2001
From: Hao Gao <gaohao95@gmail.com>
Date: Thu, 26 Apr 2018 21:40:17 -0500
Subject: [PATCH] Fix a bug in demo program
---
examples/demo.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/examples/demo.py b/examples/demo.py
index 81085d7..b546de0 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 = []
--
GitLab