remove dead code

This commit is contained in:
Simon Cruanes 2024-01-02 12:32:51 -05:00
parent bc41a53f6c
commit 434972bc26
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 0 additions and 4 deletions

View file

@ -1,4 +0,0 @@
(** A bit of global state that can be reached
from each thread without too much overhead *)
open Common_