From 22d36c8605e1d006a379350e28a5f939f7082546 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 5 Nov 2011 13:12:07 -0400
Subject: Tweaks to choices of source positions to use in error messages,
 including for subSgn

---
 src/elab_ops.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/elab_ops.sml')

diff --git a/src/elab_ops.sml b/src/elab_ops.sml
index 15d8e106..0af2f4e7 100644
--- a/src/elab_ops.sml
+++ b/src/elab_ops.sml
@@ -156,7 +156,7 @@ fun reset () = (identity := 0;
 
 fun hnormCon env (cAll as (c, loc)) =
     case c of
-        CUnif (nl, _, _, _, ref (SOME c)) => hnormCon env (E.mliftConInCon nl c)
+        CUnif (nl, _, _, _, ref (SOME c)) => (#1 (hnormCon env (E.mliftConInCon nl c)), loc)
 
       | CNamed xn =>
         (case E.lookupCNamed env xn of
-- 
cgit v1.2.3