From 811a3831805bf7a87ed3a64156f4ac6f6246edb9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 13 Jul 2008 20:07:10 -0400 Subject: Passing an argument to a web function --- 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 1aacfb60..c262e326 100644 --- a/src/cjr.sml +++ b/src/cjr.sml @@ -61,6 +61,6 @@ datatype decl' = withtype decl = decl' located -type file = decl list * (string * int) list +type file = decl list * (string * int * typ list) list end -- cgit v1.2.3