(* This is used to parse the Goalfile. *)
let parse_goalfile env filename =
Cmdline.debug "parse file: %s" filename;
let fp = open_in filename in
(* This is used to parse the Goalfile. *)
let parse_goalfile env filename =
Cmdline.debug "parse file: %s" filename;
let fp = open_in filename in