1 files changed, 0 insertions, 15 deletions
diff --git a/test/typecheck/pass/anontyvar.sail b/test/typecheck/pass/anontyvar.sail
deleted file mode 100644
index 99c25e6c..00000000
--- a/test/typecheck/pass/anontyvar.sail
+++ /dev/null
@@ -1,15 +0,0 @@
-$include <smt.sail>
-$include <flow.sail>
-
-/* We shouldn't have to annotate 'a with Type */
-val id : forall 'a. 'a -> 'a
-function id(x) = {
-  x
-}
-
-val test : unit -> unit
-
-function test() = {
-  let x = id(5);
-  ()
-}