woopsie, sorry

diff --git a/src/surf/surf_routing.hpp b/src/surf/surf_routing.hpp
index 1f05896..721888d 100644 (file)
--- a/src/surf/surf_routing.hpp
+++ b/src/surf/surf_routing.hpp
@@ -60,7 +60,7 @@ public:
   /**
    * @brief The As constructor
    */
   /**
    * @brief The As constructor
    */

-  As(){xbt_die("FIXME:DEADCODE");};
+  As(){};

 
   /**
    * @brief The As destructor
 
   /**
    * @brief The As destructor