From 84bdf0a8dcb3171b09151456304f870d99d6baf2 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 20 Oct 2019 21:03:22 +0200
Subject: [PATCH] Die on error.

---
 contrib/benchmarking_code_block/inject.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/contrib/benchmarking_code_block/inject.h b/contrib/benchmarking_code_block/inject.h
index 507e8dbb1a..f5a9261ecd 100644
--- 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");
-  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];
-- 
2.20.1