Die on error.

diff --git a/contrib/benchmarking_code_block/inject.h b/contrib/benchmarking_code_block/inject.h
index 507e8db..f5a9261 100644 (file)
--- a/contrib/benchmarking_code_block/inject.h
+++ b/contrib/benchmarking_code_block/inject.h
@@ -56,8 +56,7 @@ static inline void xbt_inject_init(char *inputfile)
 {
   xbt_dict_t mydict = get_dict();
   FILE* fpInput     = fopen(inputfile, "r");
 {
   xbt_dict_t mydict = get_dict();
   FILE* fpInput     = fopen(inputfile, "r");

-  if (fpInput == NULL)
-    printf("Error while opening the inputfile");
+  xbt_assert(fpInput != NULL, "Error while opening the inputfile");

   fseek(fpInput, 0, 0);
 
   char line[200];
   fseek(fpInput, 0, 0);
 
   char line[200];