* http://cs.unibo.it/helm/.
*)
+(* $Id$ *)
+
let debug_print = fun _ -> ()
let rec higher_name arity =
C.Anonymous ->
if List.mem k rels2 then
(
- debug_print "If this happens often, we can do something about it (i.e. we can generate a new fresh name; problem: we need the metasenv and context ;-(. Alternative solution: mk_implicit does not generate entries for the elements in the context that have no name" ;
+ debug_print (lazy "If this happens often, we can do something about it (i.e. we can generate a new fresh name; problem: we need the metasenv and context ;-(. Alternative solution: mk_implicit does not generate entries for the elements in the context that have no name") ;
C.Anonymous
)
else