Merge branch 'hol-regstate' into sail2

1 files changed, 3 insertions, 0 deletions

diff --git a/src/sail.ml b/src/sail.ml
index 4324d650..b355483d 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -299,6 +299,9 @@ let options = Arg.align ([
   ( "-undefined_gen",
     Arg.Set Initial_check.opt_undefined_gen,
     " generate undefined_type functions for types in the specification");
+  ( "-grouped_regstate",
+    Arg.Set State.opt_type_grouped_regstate,
+    " group registers with same type together in generated register state record");
   ( "-enum_casts",
     Arg.Set Initial_check.opt_enum_casts,
     " allow enumerations to be automatically casted to numeric range types");