diff options
| author | Emilio Jesus Gallego Arias | 2017-11-15 15:24:39 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-11-15 15:24:39 +0100 |
| commit | 586d015eaa3d36a315bdbdf8b11593a9d00a9a9a (patch) | |
| tree | 0b4892715b8f98da325c7c0010935c22e3035035 /API/API.mllib | |
| parent | a2b02cb9142984b912bf01cea09449d767326f19 (diff) | |
[dev] Remove deprecation warning from `base_include`
The warning created problems as OCaml restored the color printing tags
when printing it, so users doing `Drop` and then `go ()` got color
printing back after the warning.
We should guard the console on `Drop` better, but this requires some
(much needed) refactoring work in the toplevel.
Diffstat (limited to 'API/API.mllib')
0 files changed, 0 insertions, 0 deletions