From f3e4237e8d4913e8eda4539fe44673dd3a13263c Mon Sep 17 00:00:00 2001
From: Fabian <fabian@fmbb.se>
Date: Wed, 7 Apr 2021 14:47:30 +0200
Subject: [PATCH] remove unused function

---
 impls/sml/env.sml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/impls/sml/env.sml b/impls/sml/env.sml
index 1ebcbb2f..a49e0d16 100644
--- a/impls/sml/env.sml
+++ b/impls/sml/env.sml
@@ -8,7 +8,4 @@ fun def s v (ENV ns)        = set s v ns
 fun lookup (ENV ns)            s = get ns s
   | lookup (INNER (ns, outer)) s = optOrElse (get ns s) (fn () => lookup outer s)
 
-fun wrap outer (ENV ns)            = INNER (ns, outer)
-  | wrap outer (INNER (ns, inner)) = INNER (ns, wrap outer inner)
-
 fun inside outer = INNER (NS (ref []), outer)