diff options
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 4d08e9eb..c6c08c67 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -186,13 +186,14 @@ and to_ast_effects (k_env : kind Envmap.t) (e : Parse_ast.atyp) : Ast.effect = (fun efct -> match efct with | Parse_ast.BE_aux(e,l) -> BE_aux((match e with - | Parse_ast.BE_rreg -> BE_rreg - | Parse_ast.BE_wreg -> BE_wreg - | Parse_ast.BE_rmem -> BE_rmem - | Parse_ast.BE_wmem -> BE_wmem + | Parse_ast.BE_barr -> BE_barr + | Parse_ast.BE_rreg -> BE_rreg + | Parse_ast.BE_wreg -> BE_wreg + | Parse_ast.BE_rmem -> BE_rmem + | Parse_ast.BE_wmem -> BE_wmem | Parse_ast.BE_undef -> BE_undef - | Parse_ast.BE_unspec -> BE_unspec - | Parse_ast.BE_nondet -> BE_nondet),l)) + | Parse_ast.BE_unspec-> BE_unspec + | Parse_ast.BE_nondet-> BE_nondet),l)) effects) | _ -> typ_error l "Required an item of kind Effects, encountered an illegal form for this kind" None None None ), l) |