diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2013-03-09 22:38:52 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2013-03-09 22:38:52 +0000 |
| commit | c63f9e09579ba88c4b9510ccce062fbc767fd3a6 (patch) | |
| tree | a9a7f7ef5f2c1a7d84ba7034e3ed12422800ec96 /debugger/main.ml | |
| parent | fb36548704ce096310707204c77218fe4d69f069 (diff) | |
| download | ocaml-c63f9e09579ba88c4b9510ccce062fbc767fd3a6.tar.gz | |
fix a few problems with whitespace and over-long lines
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/main.ml')
| -rw-r--r-- | debugger/main.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debugger/main.ml b/debugger/main.ml index febaffa201..85bc9afb6b 100644 --- a/debugger/main.ml +++ b/debugger/main.ml @@ -72,7 +72,8 @@ let rec protect ppf restart loop = protect ppf restart (function ppf -> let b = if !current_duration = -1L then begin - let msg = sprintf "Restart from time %Ld and try to get closer of the problem" time in + let msg = sprintf "Restart from time %Ld and try to get \ + closer of the problem" time in stop_user_input (); if yes_or_no msg then (current_duration := init_duration; true) |