From 2fcbbf8c29d097f1feb6a8c7622b242a52e0d40b Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Thu, 25 Jul 2002 23:53:17 +0000 Subject: [PATCH] spans->spanners --- buildscripts/ontgaar.py | 1 + 1 file changed, 1 insertion(+) diff --git a/buildscripts/ontgaar.py b/buildscripts/ontgaar.py index e2e2c64df4..4e84c2a465 100644 --- a/buildscripts/ontgaar.py +++ b/buildscripts/ontgaar.py @@ -185,6 +185,7 @@ for f in files: s = re.sub (r'split_array', 'split', s) s = re.sub (r'custos_array', 'custodes', s) s = re.sub (r'primitives_array', 'primitives', s) + s = re.sub (r'span_array', 'spanners', s) s = re.sub (r'(Pointer|Link|Drul|get|heap|_of|remove)_array', r'\1_Xarray', s) s = re.sub (r'([a-rt-zA-RT-Z])_array', r'\1s', s) -- 2.39.5