diff --git a/infer/src/java/doc.odocl b/infer/src/java/doc.odocl
deleted file mode 100644
index 7cfd85369..000000000
--- a/infer/src/java/doc.odocl
+++ /dev/null
@@ -1,5 +0,0 @@
-sil
-cfg_infer
-cg
-dotty
-symExec