From: Mark Thom Date: Thu, 23 Jan 2020 05:08:42 +0000 (-0700) Subject: use atom_concat in gensym.pl X-Git-Tag: v0.8.118~22 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9c1064c1a3e03ecc6fdaf3fdf7c22acb4437bf61;p=scryer-prolog.git use atom_concat in gensym.pl --- diff --git a/src/prolog/lib/gensym.pl b/src/prolog/lib/gensym.pl index 98d8bcde..27c34f99 100644 --- 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),