with Unix.Unix_error _ as exc -> raise (UnableToInclude path)
;;
+let profiler_include = CicUtil.profile "include"
+
let eval_command opts status cmd =
let status,cmd = disambiguate_command status cmd in
let cmd,notation_ids' = CicNotation.process_notation cmd in
raise (IncludedFileNotCompiled moopath) in
let stream = Stream.of_channel ic in
let status = ref status in
- !eval_from_stream_ref status stream (fun _ _ -> ());
+ profiler_include.CicUtil.profile
+ (!eval_from_stream_ref status stream) (fun _ _ -> ());
close_in ic;
!status
| GrafiteAst.Set (loc, name, value) ->