# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1313328544 14400
# Node ID 89d7b1c3199a99ac711f7f119f5e7f56888664c3
# Parent  75d77fbe7c94f982645179c3147b7512940a36e7
Remove some unnecessary parens

diff -r 75d77fbe7c94 -r 89d7b1c3199a src/reduce.sml
--- a/src/reduce.sml	Fri Aug 12 00:55:57 2011 -0430
+++ b/src/reduce.sml	Sun Aug 14 09:29:04 2011 -0400
@@ -471,7 +471,7 @@
                                     let
                                         val pes' = map (fn (p, body) =>
                                                            let
-                                                               val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ (deKnown env)
+                                                               val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ deKnown env
                                                                val body' = exp env' (EApp (body, multiLiftExpInExp (patBinds p) e2), #2 body)
                                                            in
                                                                (p, body')
@@ -507,7 +507,7 @@
                                     let
                                         val pes' = map (fn (p, body) =>
                                                         let
-                                                            val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ (deKnown env)
+                                                            val env' = List.tabulate (patBinds p, fn _ => UnknownE) @ deKnown env
 
                                                             val body' = exp env' (ECApp (body, c), #2 body)
                                                         in