From 5c9a5278b49ccf481468d5a766a8c4ab0cde2658 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 14 Aug 2008 15:27:35 -0400
Subject: Remove extraneous disjointness goal

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

(limited to 'src/elaborate.sml')

diff --git a/src/elaborate.sml b/src/elaborate.sml
index be23b41a..603fb45a 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -793,7 +793,7 @@ and unifyCons' (env, denv) c1 c2 =
                                   val concat = (L'.CConcat (singleton, rest), loc)
                                   val gs7 = unifyCons (env, denv) r concat
                               in
-                                  (loc, env, denv, singleton, rest) :: gs1 @ gs2 @ gs3 @ gs4 @ gs5 @ gs6 @ gs7
+                                  gs1 @ gs2 @ gs3 @ gs4 @ gs5 @ gs6 @ gs7
                               end
                            else
                              raise ex
-- 
cgit v1.2.3