beautification.

2011-11-03 07:50:34 +09:00 · 2011-11-03 07:50:34 +09:00 · 0154db015e
parent 98de122687
commit 0154db015e
1 changed files with 2 additions and 2 deletions
--- 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;
  }