From accb8e1bf49e1c1e8300bda9be3cf72ce592ab44 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 11 Apr 2010 12:38:21 -0400
Subject: Delete policies

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

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 9585fbc1..284d4cd3 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -126,6 +126,7 @@ withtype exp = exp' located
 datatype policy =
          PolClient of exp
        | PolInsert of exp
+       | PolDelete of exp
 
 datatype decl' =
          DDatatype of (string * int * (string * int * typ option) list) list
-- 
cgit v1.2.3