From 434972bc2667693a3dbd021bf85d382a0591a6d7 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 2 Jan 2024 12:32:51 -0500 Subject: [PATCH] remove dead code --- src/fuchsia/global_.ml.tmp | 4 ---- src/fuchsia/span_info.ml | 0 2 files changed, 4 deletions(-) delete mode 100644 src/fuchsia/global_.ml.tmp delete mode 100644 src/fuchsia/span_info.ml diff --git a/src/fuchsia/global_.ml.tmp b/src/fuchsia/global_.ml.tmp deleted file mode 100644 index 49df805..0000000 --- a/src/fuchsia/global_.ml.tmp +++ /dev/null @@ -1,4 +0,0 @@ -(** A bit of global state that can be reached - from each thread without too much overhead *) - -open Common_ diff --git a/src/fuchsia/span_info.ml b/src/fuchsia/span_info.ml deleted file mode 100644 index e69de29..0000000