diff options
Diffstat (limited to 'src/tools/tool-options.h')
| -rw-r--r-- | src/tools/tool-options.h | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/tools/tool-options.h b/src/tools/tool-options.h index 02b825079..4e9d85d00 100644 --- a/src/tools/tool-options.h +++ b/src/tools/tool-options.h @@ -140,23 +140,6 @@ struct ToolOptions : public Options { } passOptions.arguments[key] = value; }) - .add("--nominal", - "", - "Force all GC type definitions to be parsed as nominal.", - ToolOptionsCategory, - Options::Arguments::Zero, - [](Options* o, const std::string& argument) { - setTypeSystem(TypeSystem::Nominal); - }) - .add("--hybrid", - "", - "Force all GC type definitions to be parsed using the isorecursive " - "hybrid type system.", - ToolOptionsCategory, - Options::Arguments::Zero, - [](Options* o, const std::string& argument) { - setTypeSystem(TypeSystem::Isorecursive); - }) .add( "--closed-world", "-cw", |