Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: rename Inspector to Observer
[simgrid.git] / tools / cmake / DefinePackages.cmake
index 548a950..fef48b5 100644 (file)
@@ -580,8 +580,8 @@ set(MC_SRC_BASE
   src/mc/mc_config.cpp
   src/mc/mc_config.hpp
   src/mc/mc_global.cpp
-  src/mc/checker/SimcallInspector.cpp
-  src/mc/checker/SimcallInspector.hpp
+  src/mc/checker/SimcallObserver.cpp
+  src/mc/checker/SimcallObserver.hpp
   )
 
 set(MC_SRC