diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-13 11:40:22 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-18 20:11:14 +0200 |
| commit | c8b57f62f5ad12f8926f57fcdbc5bb2ee3c63eff (patch) | |
| tree | 2db781cc2a505a805fc53abac8d422b1192aef1e /toplevel/coqtop.mli | |
| parent | c70ee60ed1603658eb33f4ae39b1a0be81bf45c6 (diff) | |
Miscellaneous typos, spacing, US spelling in comments or variable names.
Diffstat (limited to 'toplevel/coqtop.mli')
| -rw-r--r-- | toplevel/coqtop.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqtop.mli b/toplevel/coqtop.mli index 356ccdcc6..670447452 100644 --- a/toplevel/coqtop.mli +++ b/toplevel/coqtop.mli @@ -8,7 +8,7 @@ (** The Coq main module. The following function [start] will parse the command line, print the banner, initialize the load path, load the input - state, load the files given on the command line, load the ressource file, + state, load the files given on the command line, load the resource file, produce the output state if any, and finally will launch [Coqloop.loop]. *) val init_toplevel : string list -> unit |