From ec3be75f932849aab240103afd8fa782cff77b0e Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 21 Feb 2012 16:50:01 +0100
Subject: [PATCH] Don't pass NULL to xbt_die.

---
 src/surf/surf_routing.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/surf/surf_routing.c b/src/surf/surf_routing.c
index 3acd4b11d9..7ae78fcaee 100644
--- a/src/surf/surf_routing.c
+++ b/src/surf/surf_routing.c
@@ -328,7 +328,7 @@ void routing_AS_begin(const char *AS_id, const char *wanted_routing_type)
     for (cpt = 0; routing_models[cpt].name; cpt++)
       fprintf(stderr, "   %s: %s\n", routing_models[cpt].name,
               routing_models[cpt].desc);
-    xbt_die(NULL);
+    xbt_die("dying");
   }
 
   /* make a new routing component */
-- 
2.20.1