From c0d6bfaae9f12696b591f14fc8d3cfe08dabd0c4 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Mon, 13 Aug 2018 19:59:57 +0100
Subject: Remove old specialisation code in specialize.ml

---
 src/specialize.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/specialize.mli')

diff --git a/src/specialize.mli b/src/specialize.mli
index 474d3c9d..87533e9b 100644
--- a/src/specialize.mli
+++ b/src/specialize.mli
@@ -68,8 +68,6 @@ val polymorphic_functions : (kinded_id -> bool) -> 'a defs -> IdSet.t
    which case specialize returns the AST unmodified. *)
 val specialize : tannot defs -> Env.t -> tannot defs * Env.t
 
-val specialize_variants : tannot defs -> Env.t -> tannot defs * Env.t
-
 val instantiations_of : id -> tannot defs -> uvar KBindings.t list
 
 val string_of_instantiation : uvar KBindings.t -> string
-- 
cgit v1.2.3