summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r--src/elaborate.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml
index c791cff6..4e59a8ed 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -907,7 +907,7 @@
if consEq env loc (c1, c2) then
findPointwise fs1
else
- SOME (nm1, c1, c2)
+ SOME (nm1, c1, c2, (unifyCons env loc c1 c2; NONE) handle CUnify (_, _, err) => SOME err)
in
raise CUnify' (CRecordFailure (unsummarize s1, unsummarize s2, findPointwise (#fields s1)))
end