From 794fe0432b14ca29e5dfd2e217cef72e9b0ff61a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 4 Sep 2008 10:38:48 +0000
Subject: [PATCH] comparison function fixed

---
 helm/software/components/content_pres/cicNotationParser.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/helm/software/components/content_pres/cicNotationParser.ml b/helm/software/components/content_pres/cicNotationParser.ml
index 5236193d0..859697cd6 100644
--- a/helm/software/components/content_pres/cicNotationParser.ml
+++ b/helm/software/components/content_pres/cicNotationParser.ml
@@ -219,11 +219,9 @@ let compare_rule_id x y =
     | [],[] -> 0
     | [],_ -> ~-1
     | _,[] -> 1
-    | s1::tl1, s2::tl2 ->
+    | ((s1::tl1) as x),((s2::tl2) as y) ->
         if Gramext.eq_symbol s1 s2 then aux (tl1,tl2)
-        else 
-          let d = List.length tl1 - List.length tl2 in
-          if d <> 0 then d else 1 (* bad and broken *)
+        else Pervasives.compare x y 
   in
     aux (x,y)
 
-- 
2.39.2