# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1221434524 14400
# Node ID ca98644af384f3497751144cea7c789fca81e913
# Parent  f55034419a07ce68fa421b9826609f5b00defb19
Fix inexhaustive match

diff -r f55034419a07 -r ca98644af384 src/monoize.sml
--- a/src/monoize.sml	Sun Sep 14 19:14:40 2008 -0400
+++ b/src/monoize.sml	Sun Sep 14 19:22:04 2008 -0400
@@ -1524,6 +1524,7 @@
             in
                 ((L'.EField (e, monoName env x), loc), fm)
             end
+          | L.EWith _ => poly ()
           | L.ECut _ => poly ()
           | L.EFold _ => poly ()