From a41f8601655f69e71b621dba192342ed0e1f8ec2 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 24 Nov 2017 09:56:55 +0100
Subject: [proof] [api] Rename proof types in preparation for
 functionalization.

In particular `Proof_global.t` will become a first class object for
the upper parts of the system in a next commit.
---
 stm/stm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stm')

diff --git a/stm/stm.ml b/stm/stm.ml
index ab44cc98b2..8aa832da84 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -762,7 +762,7 @@ end = struct (* {{{ *)
   let fix_exn_ref = ref (fun x -> x)
 
   type proof_part =
-    Proof_global.state * Summary.frozen_bits (* only meta counters *)
+    Proof_global.t * Summary.frozen_bits (* only meta counters *)
 
   type partial_state =
     [ `Full of Vernacstate.t
-- 
cgit v1.2.3