(* Time-stamp: <modified the 22/01/2013 (at 13:56) by Erwan Jahier> *) (** Check that there is no dependancy loops. *) exception Error of (Lxm.t * string * LicPrg.t) val doit : LicPrg.t -> unit