diff options
Diffstat (limited to 'src/gen_lib/sail_values.lem')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index 34e4bd98..3d55843e 100644 --- a/src/gen_lib/sail_values.lem +++ b/src/gen_lib/sail_values.lem @@ -608,7 +608,7 @@ type register = type register_ref 'regstate 'regval 'a = <| name : string; - is_inc : bool; + (*is_inc : bool;*) read_from : 'regstate -> 'a; write_to : 'regstate -> 'a -> 'regstate; of_regval : 'regval -> maybe 'a; |