CicEnvironment SETTINGS (trust and clean_tmp)
* ************************************************************************** *)
CicEnvironment SETTINGS (trust and clean_tmp)
* ************************************************************************** *)
let cleanup_tmp = true;;
let trust = ref (fun _ -> true);;
let set_trust f = trust := f
let trust_obj uri = !trust uri
let cleanup_tmp = true;;
let trust = ref (fun _ -> true);;
let set_trust f = trust := f
let trust_obj uri = !trust uri
if List.mem_assq uri !frozen_list then
(* CIRCULAR DEPENDENCY DETECTED, print the error and raise *)
begin
if List.mem_assq uri !frozen_list then
(* CIRCULAR DEPENDENCY DETECTED, print the error and raise *)
begin