with
Uncertain _
| UnificationFailure _ ->
-debug_print ("restringo Meta n." ^ (string_of_int n) ^ "on variable n." ^ (string_of_int j));
+debug_print (lazy ("restringo Meta n." ^ (string_of_int n) ^ "on variable n." ^ (string_of_int j)));
let metasenv, subst =
CicMetaSubst.restrict
subst [(n,j)] metasenv in
UnificationFailure msg ->raise (UnificationFailure msg)
| Uncertain msg -> raise (UnificationFailure (Reason msg))
| AssertFailure _ ->
- debug_print "siamo allo huge hack";
+ debug_print (lazy "siamo allo huge hack");
(* TODO huge hack!!!!
* we keep on unifying/refining in the hope that
* the problem will be eventually solved.