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 :";