diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-10-30 23:48:30 +0100 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-11-13 18:11:22 +0100 |
commit | 6bd240fce21c172680a0cec5346b66e08c76418a (patch) | |
tree | 640407a38cc96645a66ccb7754ace80092fdfe22 /ide/ideutils.ml | |
parent | 8d176db01baf9fb4a5e07decb9500ef4a8717e93 (diff) |
[ci] [coq] Complete 4.06.0 support.
Due to an API change in laglgtk, we need to update CoqIDE. We use a
makefile hack so it can compile with lablgtk < 2.8.16, another option
would be to require 2.8.16 as a minimal dependency.
We also refactor travis to test more lablgtk versions.
We also need to account for improved attribute handling in 4.06.0, in
particular module aliases will propagate the deprecation status.
Fixes #6140.
Diffstat (limited to 'ide/ideutils.ml')
-rw-r--r-- | ide/ideutils.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ide/ideutils.ml b/ide/ideutils.ml index 83e5da950..0977a1890 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -372,8 +372,7 @@ let read_file name buf = let io_read_all chan = Buffer.clear read_buffer; let read_once () = - (* XXX: Glib.Io must be converted to bytes / -safe-string upstream *) - let len = Glib.Io.read_chars ~buf:(Bytes.unsafe_to_string read_string) ~pos:0 ~len:maxread chan in + let len = Glib.Io.read_chars ~buf:read_string ~pos:0 ~len:maxread chan in Buffer.add_subbytes read_buffer read_string 0 len in begin |