diff options
Diffstat (limited to 'toplevel/vernac.mli')
| -rw-r--r-- | toplevel/vernac.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/toplevel/vernac.mli b/toplevel/vernac.mli index 9998fb19c..79ea1a4c5 100644 --- a/toplevel/vernac.mli +++ b/toplevel/vernac.mli @@ -44,3 +44,6 @@ val load_vernac : bool -> string -> unit (** Compile a vernac file, verbosely or not (f is assumed without .v suffix) *) val compile : bool -> string -> unit + + +val is_navigation_vernac : Vernacexpr.vernac_expr -> bool |