- prerr_endline error_msg;
- prerr_endline ("metasenv = \n" ^ (ppmetasenv metasenv subst));
- prerr_endline ("subst = \n" ^ (ppsubst subst));
- prerr_endline ("context = \n" ^ (ppcontext subst context)); *)
+ debug_print error_msg;
+ debug_print ("metasenv = \n" ^ (ppmetasenv metasenv subst));
+ debug_print ("subst = \n" ^ (ppsubst subst));
+ debug_print ("context = \n" ^ (ppcontext subst context)); *)