From 3b4b367a4a9ed262624e153eaa600bc9a1fb35b7 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 20 Sep 2004 17:41:53 +0000
Subject: [PATCH] - Minor correction. Probably redundant for a good compiler ;)

---
 src/label.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/label.c b/src/label.c
index 3f262a9..e0d5077 100644
--- a/src/label.c
+++ b/src/label.c
@@ -28,7 +28,7 @@ void label_destroy (Labelinfo linfo)
 }
 
 //! Given a list of label infos, yield the correct one or NULL
-Labelinfo label_find (List labellist, Term label)
+Labelinfo label_find (List labellist, const Term label)
 {
   Labelinfo linfo;