From c8b57f62f5ad12f8926f57fcdbc5bb2ee3c63eff Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 13 Oct 2015 11:40:22 +0200
Subject: Miscellaneous typos, spacing, US spelling in comments or variable
 names.

---
 toplevel/coqtop.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/coqtop.mli b/toplevel/coqtop.mli
index 356ccdcc69..6704474529 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
-- 
cgit v1.2.3