From 1a60a233b9349f320e67f35db1aa3b87d7c2a591 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 30 Apr 2009 11:48:56 -0400
Subject: Subforms type-checks; lists urlified and unurlified

---
 src/marshalcheck.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/marshalcheck.sml')

diff --git a/src/marshalcheck.sml b/src/marshalcheck.sml
index e39bf7c5..7dea28f3 100644
--- a/src/marshalcheck.sml
+++ b/src/marshalcheck.sml
@@ -60,6 +60,7 @@ val clientToServer = [("Basis", "int"),
                       ("Basis", "file"),
                       ("Basis", "unit"),
                       ("Basis", "option"),
+                      ("Basis", "list"),
                       ("Basis", "bool")]
 
 val clientToServer = PS.addList (PS.empty, clientToServer)
-- 
cgit v1.2.3