From 6a878d9568d91bebd13e8bfe0fe2d248fa4dc787 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 31 Jul 2016 04:42:47 -0500
Subject: [PATCH] kea

---
 C/unify.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/unify.c b/C/unify.c
index 487a5e3fa..fb535df73 100644
--- a/C/unify.c
+++ b/C/unify.c
@@ -463,7 +463,7 @@ p_cyclic( USES_REGS1 )
   return rational_tree(t);
 }
 
-int Yap_IsAcyclicTerm(Term t)
+bool Yap_IsAcyclicTerm(Term t)
 {
   return !rational_tree(t);
 }