-
Erwan Jahier authored
Indeed, in source/Lutin/Makefile.lut4ocaml, I was including rdbg-plugin when building the lut4ocaml.cma/cmxa lib. The consequence was that the OcamlRM module was included twice, with its local Hashtbl (used for registering/loading Dynlink stuff) duplicated! Dynlink is to be used with great care !!! Also reflect the changes in the rdbg-plugin - in the OcamlRM module (s/add_/reg_/g) - in the Event module (more field of src_info type) cf rdbg git version 142783a77cad1a0f7ef91972b8376f0b0e44b878 also mv lut_evt stuff from LutinRun to rdbg (in LutinRdbg module).
31b88b58