diff --git a/compiler/coqCodegen.test.js b/compiler/coqCodegen.test.js
deleted file mode 100644
index 65e0e8d..0000000
--- a/compiler/coqCodegen.test.js
+++ /dev/null
@@ -1,9 +0,0 @@
-import { transformer } from './exampleCode'
-import { coqCodegen } from './coqCodegen'
-describe('coqCodegen function', () => {
-  it('should produce correct Coq code', () => {
-    const ast = transformer.transform()
-    console.log(coqCodegen(ast))
-    expect(false).toBe(true)
-  })
-})