From be4fe5a4351ad7b315983c5959daf8ff6c7a193e Mon Sep 17 00:00:00 2001 From: glondu Date: Tue, 11 Jan 2011 16:57:34 +0000 Subject: Fix some typos git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13783 85f007b7-540e-0410-9357-904b9bb8a0f7 --- library/libobject.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'library/libobject.ml') diff --git a/library/libobject.ml b/library/libobject.ml index 4cc2fdb35..bc62913d9 100644 --- a/library/libobject.ml +++ b/library/libobject.ml @@ -16,7 +16,7 @@ open Mod_subst wants to work with restricted Coq programs that have only parts of the full capabilities, but may still be able to work correctly for limited purposes. One example is for the graphical interface, that uses - such a limite coq process to do only parsing. It loads .vo files, but + such a limited Coq process to do only parsing. It loads .vo files, but is only interested in loading the grammar rule definitions. *) let relax_flag = ref false;; @@ -55,7 +55,7 @@ let default_object s = { declare_object { (default_object "MY OBJECT") with cache_function = fun (sp,a) -> Mytbl.add sp a} - and the listed functions are only those which definitions accually + and the listed functions are only those which definitions actually differ from the default. This helps introducing new functions in objects. -- cgit v1.2.3