diff --git a/src/Compiler/Compiler.cpp b/src/Compiler/Compiler.cpp
index 807458e28..9b812fe5a 100644
--- a/src/Compiler/Compiler.cpp
+++ b/src/Compiler/Compiler.cpp
@@ -940,20 +940,8 @@ bool Compiler::RegisterCommands(TclInterpreter* interp, bool batchMode) {
       return TCL_ERROR;
     }
     std::string opts;
-    bool read_init_registers = false;
     for (int i = 1; i < argc; i++) {
-      std::string opt = argv[i];
-      if (opt == "-read_init_registers") {
-        read_init_registers = true;
-      }
-      if (read_init_registers) {
-        if (opt != "2" && opt != "1" && opt != "0") {
-          compiler->ErrorMessage("read_init_registers must be 0, 1, or 2");
-          return TCL_ERROR;
-        }
-        read_init_registers = false;
-      }
-      opts += opt;
+      opts += std::string(argv[i]);
       if (i < (argc - 1)) {
         opts += " ";
       }