From 63896b2443e71e47c016fc9d0709cc22cf24f288 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 12 Jun 2017 12:37:55 +0200
Subject: [lib] Remove obsolete state-management function add_frozen_state

AFAICS this function predates modern state-handling; nowadays
summaries are stored by the STM and nobody were using this
information.
---
 API/API.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'API/API.mli')

diff --git a/API/API.mli b/API/API.mli
index d844e8bf52..0b5183947b 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -2634,7 +2634,6 @@ module Lib : sig
             | ClosedModule  of library_segment
             | OpenedSection of Libnames.object_prefix * Summary.frozen
             | ClosedSection of library_segment
-            | FrozenState of Summary.frozen
 
    and library_segment = (Libnames.object_name * node) list
 
-- 
cgit v1.2.3