in
match proof with
| Inference.NoProof ->
- debug_print "replacing a NoProof";
+ debug_print (lazy "replacing a NoProof");
pb
| Inference.BasicProof _ ->
- debug_print "replacing a BasicProof";
+ debug_print (lazy "replacing a BasicProof");
pb
| Inference.ProofGoalBlock (_, parent_proof) ->
- debug_print "replacing another ProofGoalBlock";
+ debug_print (lazy "replacing another ProofGoalBlock");
Inference.ProofGoalBlock (pb, parent_proof)
| _ -> assert false
in