X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FcicNotationParser.ml;h=859697cd632ecf08c3b2f3d6debd5155f5e3e4eb;hb=794fe0432b14ca29e5dfd2e217cef72e9b0ff61a;hp=5236193d054257091e2962ea626d20f90122777d;hpb=e053aaf3085a079c3125ed4666ba648a48fbb2af;p=helm.git

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)