2025-11-30 21:39:00 +01:00 · 2025-11-30 21:39:00 +01:00 · 5341bbba53
commit 5341bbba53
parent 4482245095
3 changed files with 3 additions and 3 deletions
--- a/tools/offline_impl.ml
+++ b/tools/offline_impl.ml
@ -1,5 +1,3 @@
-(* TODO
-   - check sigs *)
 open Syntax

 let read_file fname = Bos.OS.File.read (Fpath.v fname) |> unwrap_err_msg