From f22f835540a9bc03bf6238d946d550272817e22a Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 10 Aug 2013 17:45:49 +0000
Subject: Small typos

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16695 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/stm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/stm.ml b/toplevel/stm.ml
index d033953bd..215162b85 100644
--- a/toplevel/stm.ml
+++ b/toplevel/stm.ml
@@ -666,7 +666,7 @@ end = struct (* {{{ *)
         | VCS.Expired -> (* task cancelled: e.g. the user did backtrack *)
             prerr_endline ("Task expired: " ^ pr_task task)
         | MarshalError -> (* TODO *)
-            prerr_endline "TODO: Mathshalling Error";
+            prerr_endline "TODO: Marshalling Error";
             prerr_endline "We should be resilient and fall back to lazy" 
         | e ->
             prerr_endline (string_of_ppcmds (print e))
-- 
cgit v1.2.3