diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Main.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/Main.ml b/compiler/Main.ml index 3f5e62ad..e703f1a0 100644 --- a/compiler/Main.ml +++ b/compiler/Main.ml @@ -118,6 +118,9 @@ let () = Arg.Set use_nested_tuple_projectors, " Use nested projectors for tuples (e.g., (0, 1).snd.fst instead of \ (0, 1).1)." ); + ( "-ext-name-pats", + Arg.Set extract_external_name_patterns, + " Generate name patterns for the external definitions we find." ); ] in |