From 35be73e5608998ed3d42d22e531cbd3efbe86c7f Mon Sep 17 00:00:00 2001
From: Andrzej Kotulski <akotulski@fb.com>
Date: Thu, 15 Dec 2016 10:20:07 -0800
Subject: [PATCH] [Makefile.config] Remove unused ENABLE_OCAML_ANNOT

Reviewed By: jvillard

Differential Revision: D4334050

fbshipit-source-id: 54e3e9d
---
 Makefile.config.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile.config.in b/Makefile.config.in
index db341503c..89aead29c 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -25,7 +25,6 @@ CPP = @CPP@
 CXX = @CXX@
 CXXFLAGS = @CXXFLAGS@
 ENABLE_OCAMLOPT_CUSTOM_CC = @ENABLE_OCAMLOPT_CUSTOM_CC@
-ENABLE_OCAML_ANNOT = @ENABLE_OCAML_ANNOT@
 ENABLE_OCAML_BINANNOT = @ENABLE_OCAML_BINANNOT@
 exec_prefix = @exec_prefix@
 INFER_MAJOR = @INFER_MAJOR@