diff options
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index d23d56da..57e1a7cc 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -58,7 +58,7 @@ type mut = Immutable | Mutable (** [lvar] is the type of variables - they can either be registers, local mutable or immutable variables, nullary union constructors (i.e. None in option), or unbound identifiers *) -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 val no_annot : unit annot val gen_loc : Parse_ast.l -> Parse_ast.l |