diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-08-10 17:45:49 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-08-10 17:45:49 +0000 |
commit | f22f835540a9bc03bf6238d946d550272817e22a (patch) | |
tree | e530108476de571381fcd25f3a563fc90215f549 /toplevel | |
parent | ef21afeec21523a79049e9021712a3f52451cd3a (diff) |
Small typos
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16695 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel')
-rw-r--r-- | toplevel/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |