log("\n");
                log("Depending on if read_verilog is run in -formal mode, either the macro\n");
                log("SYNTHESIS or FORMAL is defined automatically, unless -nosynthesis is used.\n");
-                log("In addition, read_verilog always defines the macro YOSYS.\n");
+               log("In addition, read_verilog always defines the macro YOSYS.\n");
                log("\n");
                log("See the Yosys README file for a list of non-standard Verilog features\n");
                log("supported by the Yosys Verilog front-end.\n");
                bool flag_defer = false;
                bool flag_noblackbox = false;
                bool flag_nowb = false;
-                bool flag_nosynthesis = false;
+               bool flag_nosynthesis = false;
                define_map_t defines_map;
 
                std::list<std::string> include_dirs;