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.
---
 library/library.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/library.ml')

diff --git a/library/library.ml b/library/library.ml
index 5a5f99cc51..db05ad2b7b 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -575,7 +575,7 @@ let require_library_from_dirpath modrefl export =
     else
       add_anonymous_leaf (in_require (needed,modrefl,export));
     if !Flags.xml_export then List.iter (Hook.get f_xml_require) modrefl;
-  add_frozen_state ()
+  ()
 
 (* the function called by Vernacentries.vernac_import *)
 
-- 
cgit v1.2.3