From 38a20fdb9619e33ea989e171d98777cb3d7c6bc5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 20 Jan 2019 17:07:54 -0500
Subject: getenv is benign

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

diff --git a/src/settings.sml b/src/settings.sml
index f42df135..0fea73e8 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -157,6 +157,7 @@ fun isEffectful ("Sqlcache", _) = true
 fun addEffectful x = effectful := S.add (!effectful, x)
 
 val benignBase = basis ["get_cookie",
+                        "getenv",
                         "new_client_source",
                         "get_client_source",
                         "set_client_source",
-- 
cgit v1.2.3