From: Alberto Griggio <griggio@fbk.eu>
Date: Mon, 1 Aug 2005 16:57:41 +0000 (+0000)
Subject: fixed compilation warnings
X-Git-Tag: V_0_1_1_1~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=24054502870f60c8847de9e7a8db6c37fbe8cc99;p=helm.git

fixed compilation warnings
---

diff --git a/helm/ocaml/paramodulation/utils.ml b/helm/ocaml/paramodulation/utils.ml
index 840b3a828..1968f017c 100644
--- 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
 ;;