diff --git a/src/wrench/simulation/Simulation.cpp b/src/wrench/simulation/Simulation.cpp index 2c6cf1fff2..ce6bc4f028 100644 --- a/src/wrench/simulation/Simulation.cpp +++ b/src/wrench/simulation/Simulation.cpp @@ -184,6 +184,7 @@ namespace wrench { } else if (not strcmp(argv[i], "--wrench-version")) { version_requested = true; } else if (not strcmp(argv[i], "--wrench-pagecache-simulation")) { + throw std::invalid_argument("The use of --wrench-pagecache-simulation has been deprecated for now"); Simulation::pagecache_enabled = true; } else { cleanedup_args.emplace_back(argv[i]);