Skip to content
Snippets Groups Projects
Normal view Permalink
l2lCheckCKeyWord.mli 167 B
Newer Older
Erwan Jahier's avatar
-2c: add a new module that checks that no C reserved word is used as ident in user program
Erwan Jahier committed
1 2 3 4 5 
(* Time-stamp: <modified the 10/01/2017 (at 18:15) by Erwan Jahier> *)

(** Check that the input program ident does not use C keywords *)

val doit : LicPrg.t -> unit