diff options
| author | ppedrot | 2013-08-19 18:16:23 +0000 |
|---|---|---|
| committer | ppedrot | 2013-08-19 18:16:23 +0000 |
| commit | 51684142c40fced940bb870742bc7f75c3e2fd52 (patch) | |
| tree | 9a8e883e7c53d2fa23ef8f0d9deffabeccfeb56e /ide/wg_Command.mli | |
| parent | 09d7951e0c0009e4ac55091cede25b88576759d2 (diff) | |
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
Diffstat (limited to 'ide/wg_Command.mli')
| -rw-r--r-- | ide/wg_Command.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ide/wg_Command.mli b/ide/wg_Command.mli index 1c5a1e424d..2245befe73 100644 --- a/ide/wg_Command.mli +++ b/ide/wg_Command.mli @@ -7,9 +7,9 @@ (************************************************************************) class command_window : Coq.coqtop -> - mark_as_broken:(Stateid.state_id list -> unit) -> - mark_as_processed:(Stateid.state_id list -> unit) -> - cur_state:(unit -> Stateid.state_id) -> + mark_as_broken:(Stateid.t list -> unit) -> + mark_as_processed:(Stateid.t list -> unit) -> + cur_state:(unit -> Stateid.t) -> object method new_command : ?command:string -> ?term:string -> unit -> unit method frame : GBin.frame |