From dbd2aa64aae812e68238fd0fbf29d4c5cb820b3f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 6 Jan 2015 22:32:52 +0000 Subject: [PATCH] fix bad header --- H/Yapproto.h | 1 - 1 file changed, 1 deletion(-) diff --git a/H/Yapproto.h b/H/Yapproto.h index a6be51170..c22d53001 100755 --- a/H/Yapproto.h +++ b/H/Yapproto.h @@ -428,7 +428,6 @@ void Yap_InitUtilCPreds(void); Int Yap_TermHash(Term, Int, Int, int); Int Yap_NumberVars(Term, Int, int); Term Yap_TermVariables( Term t, UInt arity USES_REGS ); -int Yap_IsListOrPartialListTerm( UInt arity USES_REGS ); Term Yap_UnNumberTerm(Term, int); Int Yap_SkipList(Term *, Term **); /* yap.c */