From 1cc3280fea68e156a82c87431ca2aef9ad60fd4a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 27 Oct 2011 12:36:03 +0200 Subject: [PATCH] Yap_unifiable --- H/Yapproto.h | 1 + 1 file changed, 1 insertion(+) diff --git a/H/Yapproto.h b/H/Yapproto.h index d75d3ca97..6fa38dff5 100644 --- a/H/Yapproto.h +++ b/H/Yapproto.h @@ -379,6 +379,7 @@ int STD_PROTO(Yap_rational_tree_loop, (CELL *, CELL *, CELL **, CELL ** void STD_PROTO(Yap_InitAbsmi,(void)); void STD_PROTO(Yap_InitUnify,(void)); void STD_PROTO(Yap_TrimTrail,(void)); +void STD_PROTO(Yap_Unifiable,(Term d0, Term d1)); int STD_PROTO(Yap_IUnify,(register CELL d0,register CELL d1)); /* userpreds.c */