diff options
Diffstat (limited to 'src/catalog.ml')
| -rwxr-xr-x | src/catalog.ml | 8 | 
1 files changed, 4 insertions, 4 deletions
| diff --git a/src/catalog.ml b/src/catalog.ml index bba13d6..71f953f 100755 --- a/src/catalog.ml +++ b/src/catalog.ml @@ -155,7 +155,7 @@ module Make(Data:DATA_SIG) = struct       Each name is binded with another map with contains the function for each
       signature.
     *)
 -  type t = Functions.t Base.String_dict.t
 +  type t = Functions.t String_dict.t
    type catalog_builder = Functions.t Catalog.t
    let empty = Catalog.empty
 @@ -192,15 +192,15 @@ module Make(Data:DATA_SIG) = struct    let find_function:
    type a. t -> string -> a t_function sig_typ -> a t_function =
    begin fun t name signature ->
 -       Base.String_dict.find_exn t (String.uppercase_ascii name)
 +       String_dict.find_exn t (String.uppercase_ascii name)
      |> Functions.find signature
    end
    let compile t =
 -    (* Use efficient Base.String_dict.
 +    (* Use efficient String_dict.
         The requirement to have a unique key is garantee by the Map structure.
      *)
 -    Base.String_dict.of_alist_exn (Catalog.bindings t)
 +    String_dict.of_alist_exn (Catalog.bindings t)
    type result =
 | 
