From 837fb4d8e174f0eaaf90ceddf469d99def7b8744 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 20 Jul 2004 09:47:06 +0000
Subject: [PATCH] - Corrected an inline definition, propagating it to the
 header file.

---
 src/termlists.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/termlists.h b/src/termlists.h
index 908bb26..e22e2ff 100644
--- a/src/termlists.h
+++ b/src/termlists.h
@@ -28,7 +28,7 @@ Termlist termlistShallow (Termlist tl);
 void termlistDelete (Termlist tl);
 void termlistDestroy (Termlist tl);
 void termlistPrint (Termlist tl);
-int inTermlist (Termlist tl, const Term term);
+__inline__ int inTermlist (Termlist tl, const Term term);
 int isTermlistEqual (Termlist tl1, Termlist tl2);
 Termlist termlistAdd (Termlist tl, Term term);
 Termlist termlistAppend (const Termlist tl, const Term term);