From b6af13591e1acf61b1ad99b234a43573a23c4b31 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Wed, 5 Jan 2022 11:54:48 +0100
Subject: [PATCH] [Eva] remove the now useless rectype flag

---
 Makefile | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/Makefile b/Makefile
index b3c71e5680d..10816b72815 100644
--- a/Makefile
+++ b/Makefile
@@ -676,12 +676,6 @@ check-logic-parser-wildcard:
 
 NON_OPAQUE_DEPS+= src/kernel_services/plugin_entry_points/dynamic
 
-# abstract_memory.cmi must _not_ inherit the '-rectypes' flag, so we
-# eagerly assign it _before_ adding -rectypes to the .cmo/.cmx files
-src/kernel_services/abstract_interp/abstract_memory.cmi: BFLAGS := $(BFLAGS)
-src/kernel_services/abstract_interp/abstract_memory.cmo: BFLAGS += -rectypes
-src/kernel_services/abstract_interp/abstract_memory.cmx: OFLAGS += -rectypes
-
 # C Bindings
 ############
 
-- 
GitLab