diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interpreter.ml b/src/interpreter.ml index 74333122..96ef80f0 100644 --- a/src/interpreter.ml +++ b/src/interpreter.ml @@ -1008,7 +1008,7 @@ let decode_instruction state bv = let untyped = mk_exp (E_app ((mk_id "decode"), [mk_exp (E_vector (List.map mk_lit_exp bv))])) in let typed = Type_check.check_exp env untyped (app_typ (mk_id "option") - [Typ_arg_aux (Typ_arg_typ (mk_typ (Typ_id (mk_id "ast"))), Parse_ast.Unknown)]) in + [A_aux (A_typ (mk_typ (Typ_id (mk_id "ast"))), Parse_ast.Unknown)]) in let evaled = eval_exp state typed in match evaled with | V_ctor ("Some", [v]) -> Value_success v |