fixing issue #130

eyereasoner · Feb 6, 2025 · 1dab613 · 1dab613
1 parent 1364ef6
commit 1dab613
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 4 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.5.8 (2025-02-06) fixing issue https://github.com/eyereasoner/eye/issues/130
 v11.5.7 (2025-02-05) moving --prolog to https://github.com/eyereasoner/eyelog
 v11.5.6 (2025-02-04) dropping --no-step and using --nope instead
 v11.5.5 (2025-02-03) adding --no-steps command line switch to have no proof steps for --prolog

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-11.5.7
+11.5.8
diff --git a/eye.pl b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v11.5.7 (2025-02-05)').
+version_info('EYE v11.5.8 (2025-02-06)').
 
 license_info('MIT License
 
@@ -2247,7 +2247,7 @@
     !,
     pathitem(Item, Triples2),
     {   prolog_verb(Item, Verb),
-        gensym('bn_', S),
+        gensym('e_', S),
         (   (   nb_getval(fdepth, 0)
             ;   flag('pass-all-ground')
             )
@@ -2290,7 +2290,7 @@
     !,
     pathitem(Item, Triples2),
     {   prolog_verb(Item, Verb),
-        gensym('bn_', S),
+        gensym('e_', S),
         (   (   nb_getval(fdepth, 0)
             ;   flag('pass-all-ground')
             )

diff --git a/eye.zip b/eye.zip