diff options
| author | Jon French | 2018-12-28 15:18:31 +0000 |
|---|---|---|
| committer | Jon French | 2018-12-28 15:18:31 +0000 |
| commit | 3506f72e7c360a1a7502fb6196a1efd65b819c27 (patch) | |
| tree | deffa81849ef8fc9403c8e2c02926db98c816539 /src | |
| parent | b59fba68e535f39b6285ec7f4f693107b6e34148 (diff) | |
Remove opt_spc_matches_prefix from sail.h (fixes C tests)
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 |