model-checker : fix visited states reduction with comm determinism verification

[simgrid.git] / src / surf / surf_routing.hpp

diff --git a/src/surf/surf_routing.hpp b/src/surf/surf_routing.hpp
index 3650cf8b1adbed9d3a23b48cbb19dfb756720b50..ac65feedf3e9c65a83111987a76a43da80e07704 100644 (file)
--- a/src/surf/surf_routing.hpp
+++ b/src/surf/surf_routing.hpp
@@ -154,7 +154,7 @@ public:
 /** @ingroup SURF_routing_interface
  * @brief The class representing a whole routing platform
  */
 /** @ingroup SURF_routing_interface
  * @brief The class representing a whole routing platform
  */

-class RoutingPlatf {
+XBT_PUBLIC_CLASS RoutingPlatf {

 public:
   ~RoutingPlatf();
   AsPtr p_root;
 public:
   ~RoutingPlatf();
   AsPtr p_root;