diff options
| author | Paul Phillips <paulp@improving.org> | 2016-03-01 08:08:37 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2016-03-01 08:38:40 -0800 |
| commit | 04886a8e9d25c2a28e63645c1cc3feff0625a747 (patch) | |
| tree | b4cdbee1d75719fb180df4ecf330f5a889760157 /src/remote.ml | |
| parent | 644299b54ab3162b444d907b068accab08000a38 (diff) | |
| download | unison-04886a8e9d25c2a28e63645c1cc3feff0625a747.zip unison-04886a8e9d25c2a28e63645c1cc3feff0625a747.tar.gz unison-04886a8e9d25c2a28e63645c1cc3feff0625a747.tar.bz2 | |
Eliminating deprecation warnings.
Diffstat (limited to 'src/remote.ml')
| -rw-r--r-- | src/remote.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/remote.ml b/src/remote.ml index 37efd0d..1c70add 100644 --- a/src/remote.ml +++ b/src/remote.ml @@ -125,7 +125,7 @@ let bufferSize = 16384 buffer of this size *) let makeBuffer ch = - { channel = ch; buffer = String.create bufferSize; + { channel = ch; buffer = Bytes.create bufferSize; length = 0; opened = true } (****) |