changeset 206:cb8493759a7b

Remove extraneous disjointness goal
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 15:27:35 -0400
parents cb8f69556975
children cc68da3801bc
files src/elaborate.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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