diff --git a/tools/objinfo.ml b/tools/objinfo.ml index 23f5eab3a..6bebc82c0 100644 --- a/tools/objinfo.ml +++ b/tools/objinfo.ml @@ -15,7 +15,7 @@ (* Dump a compilation unit description *) open Config -open Emitcode +open Cmo_format let print_digest d = for i = 0 to String.length d - 1 do diff --git a/tools/primreq.ml b/tools/primreq.ml index a3d5810b6..dcace11ba 100644 --- a/tools/primreq.ml +++ b/tools/primreq.ml @@ -16,7 +16,7 @@ files *) open Config -open Emitcode +open Cmo_format module StringSet = Set.Make(struct type t = string let compare = compare end)