fixing string:substring

eyereasoner · Dec 9, 2024 · a772ec3 · a772ec3
1 parent d6b46cd
commit a772ec3
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 6 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.30.16 (2024-12-09) fixing string:substring
 v10.30.15 (2024-12-09) adding log:satisfiable built-in
 v10.30.14 (2024-12-09) fixing log:conclusion
 v10.30.13 (2024-12-07) using lists for compound terms

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-10.30.15
+10.30.16
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 v10.30.15 (2024-12-09)').
+version_info('EYE v10.30.16 (2024-12-09)').
 
 license_info('MIT License
 
@@ -8883,8 +8883,8 @@
             (   H < 0
             ->  D = ''
             ;   escape_atom(A, Ae),
-                escape_atom(D, De),
-                sub_atom(Ae, G, H, _, De)
+                sub_atom(Ae, G, H, _, De),
+                escape_atom(D, De)
             )
         )
     ).
@@ -8904,8 +8904,8 @@
             ),
             (   H < 0
             ->  D = ''
-            ;   escape_atom(D, De),
-                sub_atom(Ae, G, H, _, De)
+            ;   sub_atom(Ae, G, H, _, De),
+                escape_atom(D, De)
             )
         )
     ).

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