From 437da3d7938ba4ebac663760ed7f682efea65ef9 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 8 Jan 2016 01:21:24 +0100 Subject: [PATCH] woopsie, sorry --- src/surf/surf_routing.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/surf/surf_routing.hpp b/src/surf/surf_routing.hpp index 1f0589642a..721888dfbf 100644 --- a/src/surf/surf_routing.hpp +++ b/src/surf/surf_routing.hpp @@ -60,7 +60,7 @@ public: /** * @brief The As constructor */ - As(){xbt_die("FIXME:DEADCODE");}; + As(){}; /** * @brief The As destructor -- 2.20.1