]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/ng_paramodulation/paramod.ml
some renaming to make ocamlopt happy
[helm.git] / helm / software / components / ng_paramodulation / paramod.ml
index 3206ff7d20bf0977752fa3cac36173cb73c6a2a5..0414de7e358ef95982845cb1b5d8fad61bc8f6c6 100644 (file)
@@ -8,7 +8,7 @@ let nparamod metasenv subst context t =
   let module B = NCicBlob.NCicBlob(C) in
   let module Pp = Pp.Pp (B) in
   let res,vars = B.embed t in
-  let module FU = Founif.Founif(B) in
+  let module FU = FoUnif.Founif(B) in
   let test_unification vars = function
     | Terms.Node [_; _; lhs; rhs] ->
        prerr_endline "Unification test :";