From 9c1064c1a3e03ecc6fdaf3fdf7c22acb4437bf61 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Wed, 22 Jan 2020 22:08:42 -0700 Subject: [PATCH] use atom_concat in gensym.pl --- src/prolog/lib/gensym.pl | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) 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), -- 2.54.0