From 067c8cd3b908eb057f6721453a5c3801965d43b8 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Sun, 27 Sep 2015 14:46:12 -0400
Subject: Use referenced (rather than all) free variables as keys for pure
 caches.

---
 src/mono_env.sig | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/mono_env.sig')

diff --git a/src/mono_env.sig b/src/mono_env.sig
index 9805c0d1..db6fdc95 100644
--- a/src/mono_env.sig
+++ b/src/mono_env.sig
@@ -42,8 +42,6 @@ signature MONO_ENV = sig
     val pushERel : env -> string -> Mono.typ -> Mono.exp option -> env
     val lookupERel : env -> int -> string * Mono.typ * Mono.exp option
 
-    val typeContext : env -> Mono.typ list
-
     val pushENamed : env -> string -> int -> Mono.typ -> Mono.exp option -> string -> env
     val lookupENamed : env -> int -> string * Mono.typ * Mono.exp option * string
 
-- 
cgit v1.2.3