Removed another simple trampoline.

src/label.c

@@ -78,28 +78,22 @@ label_destroy (Labelinfo linfo)
 Labelinfo
 label_find (List labellist, const Term label)
 {
+  List ll;
+
+  if (label == NULL)
+    {
+      return NULL;
+    }
+
+  for (ll = labellist; ll != NULL; ll = ll->next)
+    {
       Labelinfo linfo;
 
-  int label_find_scan (void *data)
+      linfo = (Labelinfo) ll->data;
+      if (isTermEqual (label, linfo->label))
 	{
-    Labelinfo linfo_scan;
-
-    linfo_scan = (Labelinfo) data;
-    if (isTermEqual (label, linfo_scan->label))
-      {
-	linfo = linfo_scan;
-	return 0;
-      }
-    else
-      {
-	return 1;
-      }
-  }
-
-  linfo = NULL;
-  if (label != NULL)
-    {
-      list_iterate (labellist, label_find_scan);
-    }
 	  return linfo;
+	}
+    }
+  return NULL;
 }