diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-08-14 15:27:35 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-14 15:27:35 -0400 |
commit | 5c9a5278b49ccf481468d5a766a8c4ab0cde2658 (patch) | |
tree | 54f9312c96b4d8ea7428eacb44071b4be87e2c09 | |
parent | 9a65eddb59384f5784ed3ef0a641ca65b52645ce (diff) |
Remove extraneous disjointness goal
-rw-r--r-- | src/elaborate.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |