-
Erwan Jahier authored
Indeed, otherwise, in some cases, rdbg or lurette migth not realise that lus2lic exited in error.
Erwan Jahier authoredIndeed, otherwise, in some cases, rdbg or lurette migth not realise that lus2lic exited in error.
l2lCheckKcgKeyWord.mli 173 B
(* Time-stamp: <modified the 17/08/2015 (at 16:58) by Erwan Jahier> *)
(** Check that the inoput program does not use KCG keywords an ident *)
val doit : LicPrg.t -> unit