1 files changed, 0 insertions, 3 deletions

diff --git a/prelude.cu b/prelude.cu
deleted file mode 100644
index e63ccf8..0000000
--- a/prelude.cu
+++ /dev/null
@@ -1,3 +0,0 @@
-#include <utility>
-
-struct Nil {};