# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1406381171 14400
# Node ID ec7a1fa5e88f63ffdd0833f26ca53f7d05724a32
# Parent  8ea382a57ce2414169f3f10baa855cc5d03d6e2f
Another MonoReduce fix

diff -r 8ea382a57ce2 -r ec7a1fa5e88f src/mono_reduce.sml
--- a/src/mono_reduce.sml	Mon Jul 21 08:11:03 2014 -0400
+++ b/src/mono_reduce.sml	Sat Jul 26 09:26:11 2014 -0400
@@ -502,7 +502,7 @@
                       | EWrite e => summarize d e @ [WritePage]
                                     
                       | ESeq (e1, e2) => summarize d e1 @ summarize d e2
-                      | ELet (_, _, e1, e2) => summarize d e1 @ summarize (d + 1) e2
+                      | ELet (_, _, e1, e2) => summarize d e1 @ summarize (if d = ~1 then ~1 else d + 1) e2
 
                       | EClosure (_, es) => List.concat (map (summarize d) es)