1 files changed, 0 insertions, 9 deletions

diff --git a/infra/pipetrace.cpp b/infra/pipetrace.cpp
deleted file mode 100644
index e6642ef..0000000
--- a/infra/pipetrace.cpp
+++ /dev/null
@@ -1,9 +0,0 @@
-#include <cstdint>
-#include <ostream>
-
-#include "infra/pipetrace.h"
-
-namespace infra {
-    std::ostream *pt::ptfile = nullptr;
-    std::uint64_t pt::next_record = 0;
-}