diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tac2intern.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tac2intern.ml b/src/tac2intern.ml index 2b1dde7553..bf7e93cb9e 100644 --- a/src/tac2intern.ml +++ b/src/tac2intern.ml @@ -750,9 +750,10 @@ let rec intern_rec env = function let () = unify ~loc env t tc in (e, tc) | CTacSeq (loc, e1, e2) -> + let loc1 = loc_of_tacexpr e1 in let (e1, t1) = intern_rec env e1 in let (e2, t2) = intern_rec env e2 in - let () = check_elt_unit loc env t1 in + let () = check_elt_unit loc1 env t1 in (GTacLet (false, [Anonymous, e1], e2), t2) | CTacCse (loc, e, pl) -> intern_case env loc e pl |