diff options
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index cda8e8d8..67ed3383 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -700,6 +700,7 @@ | (L'.CNamed _, L'.CRel _) => true | (L'.CRel _, L'.CModProj _) => true | (L'.CModProj _, L'.CRel _) => true + | (L'.CModProj (_, _, n1), L'.CModProj (_, _, n2)) => n1 <> n2 | _ => false and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) = |