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