1 files changed, 0 insertions, 13 deletions
diff --git a/print/print.cxx b/print/print.cxx
deleted file mode 100644
index 99a466d..0000000
--- a/print/print.cxx
+++ /dev/null
@@ -1,13 +0,0 @@
-// file: print/print.cxx -*- C++ -*-
-
-#include <print/print>
-
-#include <iostream>
-
-using namespace std;
-
-void
-print (const string& h)
-{
-  cout << h << endl;
-}