1 files changed, 8 insertions, 0 deletions
diff --git a/src/tools/tool-options.h b/src/tools/tool-options.h
index bc768c1da..49eca1adc 100644
--- a/src/tools/tool-options.h
+++ b/src/tools/tool-options.h
@@ -114,6 +114,14 @@ struct ToolOptions : public Options {
                value = argument.substr(colon + 1);
              }
              passOptions.arguments[key] = value;
+           })
+      .add("--nominal",
+           "",
+           "Use the prototype nominal type system instead of the normal "
+           "equirecursive type system.",
+           Options::Arguments::Zero,
+           [](Options* o, const std::string& argument) {
+             setTypeSystem(TypeSystem::Nominal);
            });
   }