From a143f07ca051eb99c1dac5a5fc0b3b07e363cab3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 31 Jan 2016 10:47:00 +0000 Subject: [PATCH] vars --- pl/atoms.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/atoms.yap b/pl/atoms.yap index e5036550c..d2f7e3aed 100644 --- a/pl/atoms.yap +++ b/pl/atoms.yap @@ -50,7 +50,7 @@ atom_concat(Xs,At) :- % just slice first atom '$atom_concat_constraints'([At0|Xs], 0, At, Unbound) :- atom(At0), !, - sub_atom(At0, 0, _Sz, L, Ata ), + sub_atom(At0, 0, _Sz, L, _Ata ), sub_atom(At, _, L, 0, Atr ), %remainder '$atom_concat_constraints'(Xs, 0, Atr, Unbound). % first hole: Follow says whether we have two holes in a row, At1 will be our atom