(* Time-stamp: <modified the 10/01/2017 (at 18:07) by Erwan Jahier> *)

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

val doit : LicPrg.t -> unit