diff options
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 |