Skip to content
Snippets Groups Projects
Normal view Permalink
l2lCheckKcgKeyWord.mli 172 B
Newer Older
Erwan Jahier's avatar
-2cw7: for generate for loops instead of memcpy for assigning arrays  
Erwan Jahier committed
1 
(* Time-stamp: <modified the 10/01/2017 (at 18:07) by Erwan Jahier> *)
Erwan Jahier's avatar
Make sure lus2lic exits politely.
Erwan Jahier committed
2
Erwan Jahier's avatar
-2cw7: for generate for loops instead of memcpy for assigning arrays  
Erwan Jahier committed
3 
(** Check that the input program does not use KCG keywords an ident *)
Erwan Jahier's avatar
Make sure lus2lic exits politely.
Erwan Jahier committed
4 5 

val doit : LicPrg.t -> unit