File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -91,7 +91,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
91
91
if (cmdline.isset (" function" ))
92
92
options.set_option (" function" , cmdline.get_value (" function" ));
93
93
94
- #if 0
94
+ #if 0
95
95
if(cmdline.isset("c89"))
96
96
config.ansi_c.set_c89();
97
97
@@ -109,9 +109,9 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
109
109
110
110
if(cmdline.isset("cpp11"))
111
111
config.cpp.set_cpp11();
112
- #endif
112
+ #endif
113
113
114
- #if 0
114
+ #if 0
115
115
// check assertions
116
116
if(cmdline.isset("no-assertions"))
117
117
options.set_option("assertions", false);
@@ -127,7 +127,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
127
127
// magic error label
128
128
if(cmdline.isset("error-label"))
129
129
options.set_option("error-label", cmdline.get_values("error-label"));
130
- #endif
130
+ #endif
131
131
132
132
// Select a specific analysis
133
133
if (cmdline.isset (" taint" ))
You can’t perform that action at this time.
0 commit comments