Skip to content
Snippets Groups Projects
Commit 5e44e74a authored by Oliver Sander's avatar Oliver Sander Committed by sander
Browse files

[cleanup] Remove unused 'instrumented' flag

[[Imported from SVN: r10094]]
parent 28453798
Branches
No related tags found
No related merge requests found
......@@ -101,7 +101,6 @@ int main (int argc, char *argv[]) try
const int baseIterations = parameterSet.get<int>("baseIt");
const double mgTolerance = parameterSet.get<double>("mgTolerance");
const double baseTolerance = parameterSet.get<double>("baseTolerance");
const bool instrumented = parameterSet.get<bool>("instrumented");
std::string resultPath = parameterSet.get("resultPath", "");
// ///////////////////////////////////////
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment