From f9c203e86ccba70282742bd1775197cd53249104 Mon Sep 17 00:00:00 2001
From: Nick <nicholas.curtis@uconn.edu>
Date: Thu, 28 Jun 2018 15:12:43 -0400
Subject: [PATCH] simple workaround for issue #142 on gitlab

---
 loopy/isl_helpers.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/loopy/isl_helpers.py b/loopy/isl_helpers.py
index 5a747d070..69270454a 100644
--- a/loopy/isl_helpers.py
+++ b/loopy/isl_helpers.py
@@ -445,6 +445,11 @@ def project_out(set, inames):
 
 
 def obj_involves_variable(obj, var_name):
+    if isinstance(obj, isl.Constraint):
+        # use simple get dependencies check?
+        from loopy.symbolic import aff_to_expr, get_dependencies
+        return len(get_dependencies(aff_to_expr(obj.get_aff())) & set(var_name))
+
     loc = obj.get_var_dict().get(var_name)
     if loc is not None:
         if not obj.get_coefficient_val(*loc).is_zero():
-- 
GitLab