diff options
Diffstat (limited to 'src/c_backend.ml')
| -rw-r--r-- | src/c_backend.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/c_backend.ml b/src/c_backend.ml index baa6129a..06e92f3a 100644 --- a/src/c_backend.ml +++ b/src/c_backend.ml @@ -1586,7 +1586,7 @@ let rec compile_aexp ctx (AE_aux (aexp_aux, env, l)) = in [iblock case_instrs; ilabel try_label] in - assert (ctyp_equal ctyp (ctyp_of_typ typ)); + assert (ctyp_equal ctyp (ctyp_of_typ ctx typ)); [icomment "begin try catch"; idecl ctyp try_return_id; itry_block (aexp_setup @ [aexp_call (CL_id try_return_id)] @ aexp_cleanup); |