From 9a414b1e9b8cb2bca088316d217c60916d4660aa Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 29 May 2018 18:36:19 +0200
Subject: [PATCH] Fix context management in demo.py (closes #16 on github)
---
examples/demo.py | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/examples/demo.py b/examples/demo.py
index 81085d7..cbca0d8 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}))
--
GitLab