From 1be78e23ec386dd8646a1e4f1802956649bf3748 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Fri, 14 Nov 2008 14:54:52 +0000 Subject: [PATCH] had shortcut for var-to-var unification. --- library/atts.yap | 2 ++ 1 file changed, 2 insertions(+) diff --git a/library/atts.yap b/library/atts.yap index ec53b2d33..16350e3ea 100644 --- a/library/atts.yap +++ b/library/atts.yap @@ -244,3 +244,5 @@ convert_to_goals([A|G],(A,Gs)) :- convert_to_goals(G,Gs). + + \ No newline at end of file