diff options
| author | Emilio Jesus Gallego Arias | 2017-03-20 15:14:01 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-03-20 15:15:47 +0100 |
| commit | d25b1431eb73a04bdfc0f1ad2922819b69bba93a (patch) | |
| tree | a802bf020ea296283892aaca2304fcddc7a6b709 /lib/cThread.ml | |
| parent | 5e2574cbef1ba132aacc73b4a079cc0b5584f589 (diff) | |
[misc] Remove warnings about String.set
The `a.[i] <- x` notation is deprecated and we were getting a couple
of warnings.
Diffstat (limited to 'lib/cThread.ml')
0 files changed, 0 insertions, 0 deletions