From 4044684dea5eee0bdf8a9ab43b36e01cffd28ea3 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 27 Mar 2009 15:28:50 +0000
Subject: [PATCH] prototype UDI initializer.

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

diff --git a/H/Yapproto.h b/H/Yapproto.h
index 460bb8c46..41ecbe22a 100644
--- a/H/Yapproto.h
+++ b/H/Yapproto.h
@@ -338,6 +338,9 @@ void   STD_PROTO(Yap_InitThreadPreds,(void));
 void	STD_PROTO(Yap_InitLowLevelTrace,(void));
 #endif
 
+/* udi.c */
+void	STD_PROTO(Yap_udi_init,(void));
+
 /* unify.c */
 void         STD_PROTO(Yap_InitAbsmi,(void));
 void         STD_PROTO(Yap_InitUnify,(void));