diff options
Diffstat (limited to 'src/ast_util.ml')
| -rw-r--r-- | src/ast_util.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index c57cd21f..28b27e93 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -54,7 +54,7 @@ module Big_int = Nat_big_num type mut = Immutable | Mutable -type lvar = Register of typ | Enum of typ | Local of mut * typ | Unbound +type lvar = Register of effect * effect * typ | Enum of typ | Local of mut * typ | Unbound let no_annot = (Parse_ast.Unknown, ()) @@ -562,6 +562,7 @@ let string_of_base_effect_aux = function | BE_unspec -> "unspec" | BE_nondet -> "nondet" | BE_escape -> "escape" + | BE_config -> "configuration" (*| BE_lset -> "lset" | BE_lret -> "lret"*) |