# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1218742055 14400
# Node ID cb8493759a7b62e293654262f4f31f54c8f5b62f
# Parent  cb8f6955697583165010bf81d9edf8fb5dd01df7
Remove extraneous disjointness goal

diff -r cb8f69556975 -r cb8493759a7b src/elaborate.sml
--- a/src/elaborate.sml	Thu Aug 14 15:24:59 2008 -0400
+++ b/src/elaborate.sml	Thu Aug 14 15:27:35 2008 -0400
@@ -793,7 +793,7 @@
                                   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