diff --git a/sample-programs/good1 b/sample-programs/good1
deleted file mode 100644
index b7aff4b..0000000
--- a/sample-programs/good1
+++ /dev/null
@@ -1,6 +0,0 @@
-main : _Int ;
-main = (id : _Int -> _Int) 5 ;
-
-id : 'a -> 'a ;
-id x = (x : 'a);
-