From 4c8297c1f381599333e998da585f4ef5ac24383b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 9 Jun 2009 11:12:34 -0400
Subject: Mark current as effectful; add List functions

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

(limited to 'src')

diff --git a/src/settings.sml b/src/settings.sml
index b1c5948f..9c7b1175 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -83,6 +83,7 @@ val effectfulBase = basis ["dml",
                            "new_client_source",
                            "get_client_source",
                            "set_client_source",
+                           "current",
                            "alert",
                            "new_channel",
                            "send",
-- 
cgit v1.2.3