summaryrefslogtreecommitdiff
path: root/src/marshalcheck.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/marshalcheck.sml')
-rw-r--r--src/marshalcheck.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/marshalcheck.sml b/src/marshalcheck.sml
index c48fd14f..3d517779 100644
--- a/src/marshalcheck.sml
+++ b/src/marshalcheck.sml
@@ -57,6 +57,7 @@ val clientToServer = [("Basis", "int"),
("Basis", "float"),
("Basis", "string"),
("Basis", "time"),
+ ("Basis", "files"),
("Basis", "unit"),
("Basis", "option"),
("Basis", "bool")]