diff options
author | Son Ho | 2023-12-14 17:11:54 +0100 |
---|---|---|
committer | Son Ho | 2023-12-14 17:11:54 +0100 |
commit | f074320eee2203857e669cfb72f7f8f94ab52151 (patch) | |
tree | d5f2f8d4a45f206e0a94e980ea4c6ad074f2bc19 /compiler/SymbolicToPure.ml | |
parent | f69ac6a4a244c99a41a90ed57f74ea83b3835882 (diff) | |
parent | c3e0b90e422cbd902ee6d2b47073940c0017b7fb (diff) |
Merge remote-tracking branch 'origin/main' into son/merge_back
Diffstat (limited to 'compiler/SymbolicToPure.ml')
-rw-r--r-- | compiler/SymbolicToPure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/SymbolicToPure.ml b/compiler/SymbolicToPure.ml index 59205f08..1fd4896e 100644 --- a/compiler/SymbolicToPure.ml +++ b/compiler/SymbolicToPure.ml @@ -1793,7 +1793,7 @@ and translate_function_call (call : S.call) (e : S.expression) (ctx : bs_ctx) : | _ -> raise (Failure "Unreachable")) | S.Unop (E.Cast cast_kind) -> ( match cast_kind with - | CastInteger (src_ty, tgt_ty) -> + | CastScalar (src_ty, tgt_ty) -> (* Note that cast can fail *) let effect_info = { |