use atom_concat in gensym.pl

diff --git a/src/prolog/lib/gensym.pl b/src/prolog/lib/gensym.pl
index 98d8bcde4a9a7ac555f04ee5f11bd1e1e209474c..27c34f9957ffd14072da88794dfbcbe93e86b59c 100644 (file)
--- a/src/prolog/lib/gensym.pl
+++ b/src/prolog/lib/gensym.pl
@@ -7,10 +7,7 @@
 :- use_module(library(si)).
 
 gensym_key(Base, BaseKey) :-
-    atom_chars('gensym_', PrefixChars),
-    atom_chars(Base, BaseChars),
-    append(PrefixChars, BaseChars, BaseKeyChars),
-    atom_chars(BaseKey, BaseKeyChars).
+    atom_concat('gensym_', Base, BaseKey).
 
 append_id(Base, UniqueID, Unique) :-
     atom_chars(Base, BaseChars),