From ad97d1d1268484d2cc55d601977f5a34f0b0a9fa Mon Sep 17 00:00:00 2001 From: Frederic Suter Date: Wed, 26 Apr 2017 09:16:17 +0200 Subject: [PATCH] this is now useless --- include/surf/surf_routing.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/include/surf/surf_routing.h b/include/surf/surf_routing.h index ce7ec7afd2..9b52f4ed8e 100644 --- a/include/surf/surf_routing.h +++ b/include/surf/surf_routing.h @@ -18,8 +18,6 @@ XBT_PUBLIC_DATA(int) SIMIX_STORAGE_LEVEL; //Simix storage level XBT_PUBLIC_DATA(xbt_lib_t) storage_lib; XBT_PUBLIC_DATA(int) ROUTING_STORAGE_LEVEL; //Routing storage level XBT_PUBLIC_DATA(int) SURF_STORAGE_LEVEL; // Surf storage level -XBT_PUBLIC_DATA(xbt_lib_t) storage_type_lib; -XBT_PUBLIC_DATA(int) ROUTING_STORAGE_TYPE_LEVEL; //Routing storage_type level SG_END_DECL() -- 2.20.1