[junk] delete infer/src/java/doc.odocl

Summary: Welp, that was an *old* file. Originally to emit odoc for the Java frontend. Reviewed By: dulmarod Differential Revision: D21594244 fbshipit-source-id: b9ba078c0
5 years ago · e9118afccd
parent 3cdb9f322e
commit e9118afccd
1 changed files with 0 additions and 5 deletions
--- a/infer/src/java/doc.odocl
+++ b/infer/src/java/doc.odocl
@ -1,5 +0,0 @@
-sil
-cfg_infer
-cg
-dotty
-symExec