From cf6caf0383daf8cb576edf5c1f0f736d2f4c85bd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Jul 2008 20:24:05 -0400
Subject: Multiple arguments to web functions

---
 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 c262e326..363fa762 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -57,7 +57,7 @@ withtype exp = exp' located
 datatype decl' =
          DStruct of int * (string * typ) list
        | DVal of string * int * typ * exp
-       | DFun of string * int * string * typ * typ * exp
+       | DFun of string * int * (string * typ) list * typ * exp
 
 withtype decl = decl' located
 
-- 
cgit v1.2.3