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/core.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/core.sml')

diff --git a/src/core.sml b/src/core.sml
index 1ecc9691..e9fd570c 100644
--- a/src/core.sml
+++ b/src/core.sml
@@ -61,7 +61,7 @@ withtype con = con' located
 
 datatype patCon =
          PConVar of int
-       | PConFfi of {mod : string, datatyp : string, con : string}
+       | PConFfi of {mod : string, datatyp : string, con : string, arg : con option}
 
 datatype pat' =
          PWild
-- 
cgit v1.2.3