diff options
Diffstat (limited to 'toplevel/stm.ml')
| -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)) |