From cffe0bf6b541c6322e89ef6827d3e7d9f299bbe4 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 11 May 2012 15:28:49 +0000
Subject: Slightly modified the coqtop interface by adding an identifier in
 goals.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15303 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/interface.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/interface.mli')

diff --git a/lib/interface.mli b/lib/interface.mli
index a72e5b7b0f..52b5dbb7cb 100644
--- a/lib/interface.mli
+++ b/lib/interface.mli
@@ -15,6 +15,8 @@ type verbose = bool
 
 (** The type of coqtop goals *)
 type goal = {
+  goal_id : string;
+  (** Unique goal identifier *)
   goal_hyp : string list;
   (** List of hypotheses *)
   goal_ccl : string;
-- 
cgit v1.2.3