btor backend: make not printing internal names default

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index bbdcfb70a25ccee21144826b8cb7d227300fad0a..9ac31248090e3d8ed5ae95fe6c111c8d966b2c48 100644 (file)
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -1355,13 +1355,13 @@ struct BtorBackend : public Backend {
                log("  -i <filename>\n");
                log("    Create additional info file with auxiliary information\n");
                log("\n");
-               log("  -n\n");
-               log("    Don't identify internal netnames\n");
+               log("  -x\n");
+               log("    Output symbols for internal netnames (starting with '$')\n");
                log("\n");
        }
        void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
        {
-               bool verbose = false, single_bad = false, cover_mode = false, print_internal_names = true;
+               bool verbose = false, single_bad = false, cover_mode = false, print_internal_names = false;
                string info_filename;
 
                log_header(design, "Executing BTOR backend.\n");
@@ -1385,8 +1385,8 @@ struct BtorBackend : public Backend {
                                info_filename = args[++argidx];
                                continue;
                        }
-                       if (args[argidx] == "-n") {
-                               print_internal_names = false;
+                       if (args[argidx] == "-x") {
+                               print_internal_names = true;
                                continue;
                        }
                        break;