diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tac2intern.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2intern.ml b/src/tac2intern.ml index 5c1c90e924..9d22b18af4 100644 --- a/src/tac2intern.ml +++ b/src/tac2intern.ml @@ -947,7 +947,7 @@ and intern_case env loc e pl = in brT in - let () = unify ~loc:(loc_of_tacexpr br) env ret tbr in + let () = unify ~loc:(loc_of_tacexpr br) env tbr ret in intern_branch rem in let () = intern_branch pl in |