fix warning

This commit is contained in:
Simon Cruanes 2026-01-14 22:09:25 -05:00
parent 322e1d0f44
commit 7389ca5b45
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,5 +1,3 @@
open Common_
let char = Buffer.add_char let char = Buffer.add_char
let raw_string = Buffer.add_string let raw_string = Buffer.add_string