- This is actually a 'no' switch

diff --git a/main.cc b/main.cc
index 2cf85d6a0fd60aaef55c9435dbed64414048bb54..45c9d60b66bd0fe70cde2b83b88e43aaac6789d2 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -42,7 +42,7 @@ static const mbo_opt_struct OPTIONS[] =
        mbo_opt_struct('e', 0, "ecb"),
        mbo_opt_struct('f', 0, "storable-state"),
        mbo_opt_struct('h', 0, "help"),
-       mbo_opt_struct('i', 0, "debug-info"),
+       mbo_opt_struct('i', 0, "no-debug-info"),
        mbo_opt_struct('o', 1, "output"),
        mbo_opt_struct('s', 0, "nested-ifs"),
        mbo_opt_struct('v', 0, "version"),