From d002d775f76ddab45983354022a0f8c59b1af313 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 24 Feb 2014 11:40:32 +0100
Subject: remoteCounter: backup/restore

When you resume the compilation of a .vi file, you want to
avoid collisions on fresh names.
---
 kernel/univ.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/univ.ml b/kernel/univ.ml
index 062196b395..fe872db8b9 100644
--- a/kernel/univ.ml
+++ b/kernel/univ.ml
@@ -893,7 +893,7 @@ let sort_universes orig =
 (* Temporary inductive type levels *)
 
 let fresh_local_univ, set_remote_fresh_local_univ =
-  RemoteCounter.new_counter 0 ~incr:((+) 1)
+  RemoteCounter.new_counter ~name:"local_univ" 0 ~incr:((+) 1)
     ~build:(fun n -> Atom (UniverseLevel.Level (n, Names.DirPath.empty)))
 
 (* Miscellaneous functions to remove or test local univ assumed to
-- 
cgit v1.2.3