diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-10-29 17:53:24 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-10-29 17:53:24 +0000 |
| commit | e22208ccca187836a4f17199319f1d9c21ea75f3 (patch) | |
| tree | 9cc3a112a4e21280df759b47fc87af71eb96cbbe /debugger/program_management.ml | |
| parent | ebf4e7d266c4736102b05135f84deea6cb9d6d0a (diff) | |
| download | ocaml-e22208ccca187836a4f17199319f1d9c21ea75f3.tar.gz | |
fix PR#1202
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/program_management.ml')
| -rw-r--r-- | debugger/program_management.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debugger/program_management.ml b/debugger/program_management.ml index f440acaa0b..f83549e877 100644 --- a/debugger/program_management.ml +++ b/debugger/program_management.ml @@ -15,6 +15,7 @@ (* Manage the loading of the program *) +open Int64ops open Unix open Unix_tools open Debugger_config @@ -131,7 +132,7 @@ let initialize_loading () = prerr_endline "Opening a socket..."; open_connection !socket_name (function () -> - go_to 0; + go_to _0; Symbols.set_all_events(); exit_main_loop ()) |