X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicEnvironment.ml;h=0c5c9c01e9030259fff0591ca2a43260e347a84a;hb=a785a3526d4dcbb6c5810ed4fb943132c9ff2d45;hp=77d2252eb330decb5c8b256b185724ec8d428fa9;hpb=f945768c2bdd355b394f1c4606727283504fbb54;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 77d2252eb..0c5c9c01e 100644
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -37,8 +37,9 @@
 
 let cleanup_tmp = true;;
 
-let trust_obj = function uri -> true;;
-(*let trust_obj = function uri -> false;;*)
+let trust = ref  (fun _ -> true);;
+let set_trust f = trust := f
+let trust_obj uri = !trust uri
 
 type type_checked_obj =
    CheckedObj of Cic.obj     (* cooked obj *)