release/aifad / files

     1.1 --- a/src/typing.mli
     1.2 +++ b/src/typing.mli
     1.3 @@ -40,7 +40,7 @@
     1.4    val compare_prod : prod -> prod -> int
     1.5  end
     1.6  
     1.7 -module Cfg : (Cfg_intf.CFG with module Spec = AlgDtCfgSpec)
     1.8 +module Cfg : Cfg_intf.CFG with module Spec = AlgDtCfgSpec
     1.9  
    1.10  val calc_pre_ispec_info : (cnstr_name, tp_name) type_defs -> pre_ispec_info
    1.11  val cfg_of_pre_ispec_info : pre_ispec_info -> Cfg.grammar