snaphost: supright almost done

[helm.git] / helm / software / components / ng_paramodulation / orderings.ml

diff --git a/helm/software/components/ng_paramodulation/orderings.ml b/helm/software/components/ng_paramodulation/orderings.ml
index 3da8477a961d8cb93d84d5889fb2c98f276daf2d..66188c4d8101d49b61f20cae985a3f22bff2a575 100644 (file)
--- a/helm/software/components/ng_paramodulation/orderings.ml
+++ b/helm/software/components/ng_paramodulation/orderings.ml
@@ -58,7 +58,7 @@ module Orderings (B : Terms.Blob) = struct
     | Terms.Predicate t -> 
         let w, m = weight_of_term t in 
         weight_of_polynomial w m
-    | Terms.Equation (_,x,_,Terms.Lt)
+    | Terms.Equation (_,x,_,Terms.Lt) 
     | Terms.Equation (x,_,_,Terms.Gt) ->
         let w, m = weight_of_term x in 
         weight_of_polynomial w m