diff options
Diffstat (limited to 'ide/coq.mli')
| -rw-r--r-- | ide/coq.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 1d5a1f2e62..930687eae7 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -13,6 +13,7 @@ open Term open Environ open Evd +val short_version : unit -> string val version : unit -> string type printing_state = { |