From c6b471d725872d3d5c543b8e3379d6dbb4b54915 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 4 Nov 2013 01:03:57 +0000
Subject: [PATCH] fix YAP_RunGoalOnce warning

---
 H/Yapproto.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/H/Yapproto.h b/H/Yapproto.h
index 1fa32fa27..ad7f8393e 100644
--- a/H/Yapproto.h
+++ b/H/Yapproto.h
@@ -126,6 +126,7 @@ Int    YAP_Execute(struct pred_entry *, CPredicate);
 Int    YAP_ExecuteFirst(struct pred_entry *, CPredicate);
 Int    YAP_ExecuteNext(struct pred_entry *, CPredicate);
 Int    YAP_ExecuteOnCut(struct pred_entry *, CPredicate, struct cut_c_str *);
+Int    YAP_RunGoalOnce(Term);
 
 /* cdmgr.c */
 Term	Yap_all_calls(void);