From e9118afccd227353062e1e98ebe57de3dba3bbc4 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 15 May 2020 06:58:41 -0700
Subject: [PATCH] [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
---
 infer/src/java/doc.odocl | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 infer/src/java/doc.odocl

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