From f946d43f10e2f78d179db30c3c9ae8dcc10f3c10 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 3 Aug 2008 18:53:20 -0400
Subject: bool in Basis

---
 src/cjr.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/cjr.sml')

diff --git a/src/cjr.sml b/src/cjr.sml
index d260e8b3..95a21956 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -40,7 +40,7 @@ withtype typ = typ' located
 
 datatype patCon =
          PConVar of int
-       | PConFfi of {mod : string, datatyp : string, con : string}
+       | PConFfi of {mod : string, datatyp : string, con : string, arg : typ option}
 
 datatype pat' =
          PWild
-- 
cgit v1.2.3