summaryrefslogtreecommitdiff
path: root/src/main.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/main.cpp')
-rw-r--r--src/main.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.cpp b/src/main.cpp
index ce5a3f48..c442fd94 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -615,7 +615,7 @@ ProgramParams::ProgramParams(int argc, char *argv[])
optname = arg+1;
}
- if( optname == "disable_mir_opt" ) {
+ if( optname == "disable-mir-opt" ) {
this->debug.disable_mir_optimisations = true;
}
else if( optname == "full-validate" ) {