Skip to content

Commit

Permalink
fixing string:concatenation (obs from Dörthe Arndt)
Browse files Browse the repository at this point in the history
josd committed Feb 17, 2023

Verified

This commit was signed with the committer’s verified signature.
hyrsky Santeri Hurnanen
1 parent 1aaaff2 commit ffb30c2
Showing 4 changed files with 4 additions and 3 deletions.
1 change: 1 addition & 0 deletions RELEASE
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
EYE release

[v2.12.2] fixing string:concatenation (obs from Dörthe Arndt)
[v2.12.1] improving non-unit resolution for blogic
[v2.12.0] improving non-unit resolution for blogic and dropping log:onAskSurface and log:onConstructSurface
[v2.11.0] adding non-unit resolution for blogic
2 changes: 1 addition & 1 deletion VERSION
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2.12.1
2.12.2
4 changes: 2 additions & 2 deletions eye.pl
Original file line number Diff line number Diff line change
@@ -20,7 +20,7 @@
:- use_module(library(semweb/turtle)).
:- catch(use_module(library(http/http_open)), _, true).

version_info('EYE v2.12.1 josd').
version_info('EYE v2.12.2 josd').

license_info('MIT License

@@ -7507,7 +7507,7 @@

'<http://www.w3.org/2000/10/swap/string#concatenation>'(X, Y) :-
when(
( nonvar(X)
( ground(X)
),
( getlist(X, C),
labelvars(C, 0, _, avar),
Binary file modified eye.zip
Binary file not shown.

0 comments on commit ffb30c2

Please sign in to comment.