From 3e8f495ac1c2e75b64799d585312af898d0c21db Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 5 Nov 2019 09:49:23 +0100
Subject: [PATCH] [E-ACSL:configure] remove outdated substitution

---
 src/plugins/e-acsl/configure.ac | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index e206c16e456..7a408e79a48 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -88,9 +88,7 @@ AC_OUTPUT(PLUGIN_RELATIVE_PATH(doc/doxygen/doxygen.cfg), [  ])
 # Generating Makefile #
 #######################
 
-AC_SUBST(OPTIMIZED_RTL)
 AC_SUBST(MAY_RUN_TESTS)
-AC_SUBST(OCAMLVERSION)
 
 write_plugin_config(Makefile)
 
-- 
GitLab