1 files changed, 0 insertions, 19 deletions
diff --git a/src/test/lib/test_prelude.sail b/src/test/lib/test_prelude.sail
deleted file mode 100644
index 3525af8e..00000000
--- a/src/test/lib/test_prelude.sail
+++ /dev/null
@@ -1,19 +0,0 @@
-default Order inc
-
-scattered typedef ast = const union
-val ast -> unit effect pure execute
-scattered function unit execute
-
-union ast member (unit) DUMMY
-function clause execute (DUMMY) = ()
-
-end ast
-end execute
-
-function unit test_assert (name, pred) = {
-  print (name);
-  if pred then
-    print (": pass\n")
-  else
-    print(": fail\n")
-}