From 0154db015e24bf4f2bc741eab7faa3780d23f860 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 3 Nov 2011 07:50:34 +0900 Subject: [PATCH] beautification. --- C/unify.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/C/unify.c b/C/unify.c index 86991f907..0a0841e22 100644 --- a/C/unify.c +++ b/C/unify.c @@ -932,11 +932,11 @@ p_unifiable( USES_REGS1 ) } int -Yap_unifiable( Term d0, Term d1 ) +Yap_Unifiable( Term d0, Term d1 ) { CACHE_REGS tr_fr_ptr trp, trp0 = TR; - Term tf = TermNil; + if (!unifiable(d0,d1)) { return FALSE; }