From 9f8b222f6667f4e7dec2105ea4f5c2abdfd29dc9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Sep 2008 13:29:01 -0400
Subject: pquery working with all four types of columns

---
 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 8c69443a..ce34c585 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -60,6 +60,7 @@ datatype exp' =
        | ERel of int
        | ENamed of int
        | ECon of datatype_kind * patCon * exp option
+       | ENone of typ
        | ESome of typ * exp
        | EFfi of string * string
        | EFfiApp of string * string * exp list
-- 
cgit v1.2.3