From cd61b43c84abc0072f9c9454c19cb0f048694245 Mon Sep 17 00:00:00 2001
From: coq
Date: Thu, 10 Feb 2005 17:23:32 +0000
Subject: Ajout du reset des numéros d'états dans reset_initial. Plus propre
 pour proofgeneral.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6706 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/lib.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/library/lib.ml b/library/lib.ml
index ecbde9a14f..babb3863b0 100644
--- a/library/lib.ml
+++ b/library/lib.ml
@@ -561,6 +561,7 @@ let reset_initial () =
 	  | (_,[_,FrozenState fs as hd],before) ->
 	      lib_stk := hd::before;
 	      recalc_path_prefix ();
+			set_command_label 0;
 	      unfreeze_summaries fs
 	  | _ -> assert false
 	end
-- 
cgit v1.2.3