valgrind.

2016-05-20 01:59:17 +01:00
parent 437a303681
commit a9fe413dd0
2 changed files with 5 additions and 0 deletions
--- a/C/init.c
+++ b/C/init.c
@@ -1472,5 +1472,7 @@ void Yap_exit(int value) {
  }
  Yap_CloseStreams(false);
  Yap_CloseReadline();
+#if USE_SYSTEM_MALLOC
+#endif
  exit(value);
 }