fixed compilation warnings

diff --git a/helm/ocaml/paramodulation/utils.ml b/helm/ocaml/paramodulation/utils.ml
index 840b3a828a5483e4c978b2db62572b18fa9b1fed..1968f017c9d36967cea9a43df3bf2a6ed5a73b40 100644 (file)
--- a/helm/ocaml/paramodulation/utils.ml
+++ b/helm/ocaml/paramodulation/utils.ml
@@ -143,6 +143,7 @@ let normalize_weights (cw1, wl1) (cw2, wl2) =
     | (m, w)::tl1, [] ->
         let res1, res2 = aux tl1 [] in
         (m, w)::res1, (m, 0)::res2
+    | _, _ -> assert false
   in
   let cmp (m, _) (n, _) = compare m n in
   let wl1, wl2 = aux (List.sort cmp wl1) (List.sort cmp wl2) in
@@ -222,6 +223,7 @@ let compare_weights ?(normalize=false)
         if (- diffs) >= hdiff then Ge else Incomparable
   | (m, _, n) when m > 0 && n > 0 ->
       Incomparable
+  | _ -> assert false
 ;;