diff options
Diffstat (limited to 'ide/coqOps.mli')
-rw-r--r-- | ide/coqOps.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coqOps.mli b/ide/coqOps.mli index 7e47ca23f..48a07f48b 100644 --- a/ide/coqOps.mli +++ b/ide/coqOps.mli @@ -25,5 +25,6 @@ class coqops : Wg_ScriptView.script_view -> Wg_ProofView.proof_view -> Wg_MessageView.message_view -> + coqtop -> (unit -> string option) -> ops |