From 51684142c40fced940bb870742bc7f75c3e2fd52 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 19 Aug 2013 18:16:23 +0000
Subject: Modulification and removing of structural equality in Stateid.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16705 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 intf/vernacexpr.mli | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'intf')

diff --git a/intf/vernacexpr.mli b/intf/vernacexpr.mli
index 30124e5d0..97b038f5c 100644
--- a/intf/vernacexpr.mli
+++ b/intf/vernacexpr.mli
@@ -9,7 +9,6 @@
 open Loc
 open Pp
 open Util
-open Stateid
 open Names
 open Tacexpr
 open Misctypes
@@ -220,7 +219,7 @@ type bullet =
 type 'a stm_vernac =
   | JoinDocument
   | Finish
-  | Observe of Stateid.state_id
+  | Observe of Stateid.t
   | Command of 'a (* An out of flow command not to be recorded by Stm *)
   | PGLast of 'a (* To ease the life of PG *)
 
@@ -436,8 +435,8 @@ and vernac_part_of_script = bool
 and vernac_control =
   | VtFinish
   | VtJoinDocument
-  | VtObserve of state_id
-  | VtBack of state_id
+  | VtObserve of Stateid.t
+  | VtBack of Stateid.t
 type vernac_when =
   | VtNow
   | VtLater
-- 
cgit v1.2.3