From 49f0f89e3a7905679d758017ccaeba64c0ca79b1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 7 Aug 2017 16:26:35 +0200
Subject: Fix location of not-unit warning.

---
 src/tac2intern.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3