From 5545969f485ef2fb944db8e7b0237acbabeb8d4c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 7 Sep 2010 08:28:07 -0400
Subject: Server-side 'onError'

---
 src/reduce_local.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/reduce_local.sml')

diff --git a/src/reduce_local.sml b/src/reduce_local.sml
index cfa6bfd8..0e87e34a 100644
--- a/src/reduce_local.sml
+++ b/src/reduce_local.sml
@@ -378,6 +378,7 @@ fun reduce file =
               | DStyle _ => d
               | DTask (e1, e2) => (DTask (exp [] e1, exp [] e2), loc)
               | DPolicy e1 => (DPolicy (exp [] e1), loc)
+              | DOnError _ => d
     in
         map doDecl file
     end
-- 
cgit v1.2.3