[mc] Add a message to explain no property violation is found

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 973db9c..a3bc468 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1057,7 +1057,7 @@ examples/smpi/mc/smpi_non_deterministic
 examples/smpi/mc/smpi_send_deterministic
 simgrid.jar_finalized
 simgrid_full.jar
-src/mc_page_store_unit.cpp
+src/PageStore_unit.cpp
 src/bindings/java/MANIFEST.MF
 NATIVE/
 VERSION