add todo rename pp_dump

2026-03-12 17:20:03 +01:00 · 2026-03-12 17:20:03 +01:00 · b78e57af8d
commit b78e57af8d
parent 49f07de7a2
3 changed files with 9 additions and 0 deletions
--- a/src/secmod_eddsa.ml
+++ b/src/secmod_eddsa.ml
@ -1,5 +1,6 @@
 (* TODO
   ! use lock
+   ! Scanf not thread-safe, replace with Angstrom(?)
   schedule tasks
   sign: check timestamps before signing *)
 (* IMPROVE