diff options
| author | Maxime Dénès | 2014-11-12 15:50:37 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2014-11-12 15:50:37 +0100 |
| commit | e74d442cc7732cee262921f3dd8cd42a882f75de (patch) | |
| tree | 0411fb0d7237105bf629ec50ba0719f07079d63b /lib/cString.ml | |
| parent | 21abd69648badb999ea22a77cdaad4630761d0e6 (diff) | |
Cleaner interfaces for linking locations of native compiler.
Stop sharing those references across constants of the same
module, which was triggering some bugs when using native_compute
in interactive mode in a functor declaration.
Diffstat (limited to 'lib/cString.ml')
0 files changed, 0 insertions, 0 deletions