diff --git a/doc/man/cbmc.1 b/doc/man/cbmc.1
index 6175bd41f49..de3a67516b1 100644
--- a/doc/man/cbmc.1
+++ b/doc/man/cbmc.1
@@ -76,8 +76,6 @@ Make "char" unsigned by default
 Set target architecture
 .IP --os
 Set target operating system
-.IP --no-arch
-Don't set up an architecture
 .IP --no-library
 Disable built-in abstract C library
 .IP "--round-to-nearest, --round-to-plus-inf, --round-to-minus-inf, --round-to-zero"
diff --git a/jbmc/src/jbmc/jbmc_parse_options.h b/jbmc/src/jbmc/jbmc_parse_options.h
index ad95ecc60a8..a7264b9dd5b 100644
--- a/jbmc/src/jbmc/jbmc_parse_options.h
+++ b/jbmc/src/jbmc/jbmc_parse_options.h
@@ -76,7 +76,7 @@ class optionst;
   "(i386-linux)(i386-macos)(i386-win32)(win32)(winx64)" \
   "(ppc-macos)" \
   "(arrays-uf-always)(arrays-uf-never)" \
-  "(no-arch)(arch):" \
+  "(arch):" \
   OPT_FLUSH \
   JAVA_BYTECODE_LANGUAGE_OPTIONS \
   "(java-unwind-enum-static)" \
diff --git a/src/goto-cc/armcc_cmdline.cpp b/src/goto-cc/armcc_cmdline.cpp
index be1d2c19c67..9f70e3d8fda 100644
--- a/src/goto-cc/armcc_cmdline.cpp
+++ b/src/goto-cc/armcc_cmdline.cpp
@@ -41,7 +41,6 @@ static const char *options_no_arg[]=
   "--i386-macos",
   "--i386-linux",
   "--i386-win32",
-  "--no-arch",
   "--no-library",
   "--string-abstraction",
 
diff --git a/src/goto-cc/gcc_cmdline.cpp b/src/goto-cc/gcc_cmdline.cpp
index dc573fed0c5..ded3c6f03b3 100644
--- a/src/goto-cc/gcc_cmdline.cpp
+++ b/src/goto-cc/gcc_cmdline.cpp
@@ -49,7 +49,6 @@ const char *goto_cc_options_without_argument[]=
   "--64",
   "--little-endian",
   "--big-endian",
-  "--no-arch",
   "--partial-inlining",
   "--validate-goto-model",
   "-?",
diff --git a/src/goto-cc/ms_cl_cmdline.cpp b/src/goto-cc/ms_cl_cmdline.cpp
index d8291a43fdd..9ad77fb3e19 100644
--- a/src/goto-cc/ms_cl_cmdline.cpp
+++ b/src/goto-cc/ms_cl_cmdline.cpp
@@ -38,7 +38,6 @@ const char *non_ms_cl_options[]=
   "--little-endian",
   "--big-endian",
   "--unsigned-char",
-  "--no-arch",
   "--help",
   "--xml",
   "--partial-inlining",