diff --git a/tests/bad-test-files/bad-pragma-extern-type-string-syntax.quil b/tests/bad-test-files/bad-pragma-extern-type-string-syntax.quil
deleted file mode 100644
index ccae51d9..00000000
--- a/tests/bad-test-files/bad-pragma-extern-type-string-syntax.quil
+++ /dev/null
@@ -1,5 +0,0 @@
-# Pragma extern type strings have a grammar
-
-PRAGMA EXTERN foo "(x y z)"
-
-H 0
\ No newline at end of file