diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-04-03 16:32:15 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-04-03 18:51:49 +0200 |
| commit | a92d1eac8b89cbf67dc69582c87353cabca7d48f (patch) | |
| tree | 5eb8a97281785ba23aeb3a9fdc22a49a080062f7 /dev | |
| parent | 9da03d38249a2716e7ede5d20948759e6d975138 (diff) | |
Fix loading of ocamldebug printers.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/core.dbg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/core.dbg b/dev/core.dbg index f04e5c07b..6acdd0152 100644 --- a/dev/core.dbg +++ b/dev/core.dbg @@ -3,6 +3,7 @@ load_printer threads.cma load_printer str.cma load_printer clib.cma load_printer lib.cma +load_printer dynlink.cma load_printer kernel.cma load_printer library.cma load_printer engine.cma |