fix profiling support.

2012-03-09 11:46:34 +00:00
parent 44737a5d0f
commit 36acb5f897
29 changed files with 1887 additions and 1982 deletions
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -2894,7 +2894,7 @@ do_bootfile (char *bootfilename)
    }
  YAP_EndConsult(bootfile);
 #ifdef DEBUG
-  if (output_msg)
+  if (Yap_output_msg)
    fprintf(stderr,"Boot loaded\n");
 #endif
 }