From 7389ca5b4597f7df9d2b42b843e95a1747e361d3 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 14 Jan 2026 22:09:25 -0500 Subject: [PATCH] fix warning --- src/tef/writer.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/tef/writer.ml b/src/tef/writer.ml index e84b4d8..85d9bbe 100644 --- a/src/tef/writer.ml +++ b/src/tef/writer.ml @@ -1,5 +1,3 @@ -open Common_ - let char = Buffer.add_char let raw_string = Buffer.add_string