From 76c5b74abd4450a6a68084e08a7a7946e0e31fe9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 30 Dec 2008 10:49:42 -0500
Subject: Setting a source server-side

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

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index ae9a06c7..41457071 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -37,6 +37,7 @@ datatype typ' =
        | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref
        | TFfi of string * string
        | TOption of typ
+       | TSource
        | TSignal of typ
 
 withtype typ = typ' located
-- 
cgit v1.2.3