From bf3091bf3c040e731ec98830dc8644dd738650a6 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Sun, 24 Sep 2023 23:20:25 -0500
Subject: [PATCH] Delete dump_space

---
 loopy/isl_helpers.py | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/loopy/isl_helpers.py b/loopy/isl_helpers.py
index 72b842dbb..59716edb8 100644
--- a/loopy/isl_helpers.py
+++ b/loopy/isl_helpers.py
@@ -52,12 +52,6 @@ def pw_aff_to_aff(pw_aff):
     return pieces[0][1]
 
 
-def dump_space(ls):
-    return " ".join(
-            "%s: %d" % (dim_type.find_value(dt), ls.dim(dt))
-            for dt in range(1 + dim_type.all))
-
-
 # {{{ make_slab
 
 def make_slab(space, iname, start, stop, iname_multiplier=1):