1 files changed, 0 insertions, 19 deletions
diff --git a/tests/misc/tnot.nim b/tests/misc/tnot.nim
deleted file mode 100644
index 5c268981e..000000000
--- a/tests/misc/tnot.nim
+++ /dev/null
@@ -1,19 +0,0 @@
-discard """
-  file: "tnot.nim"
-  line: 14
-  errormsg: "type mismatch"
-"""
-# BUG: following compiles, but should not:
-
-proc nodeOfDegree(x: int): bool =
-  result = false
-
-proc main =
-  for j in 0..2:
-    for i in 0..10:
-      if not nodeOfDegree(1) >= 0: #ERROR_MSG type mismatch
-        echo "Yes"
-      else:
-        echo "No"
-
-main()