From 6036275c06be425197ae15936fbd58c9bebc0635 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 16 Jul 2021 16:05:19 +0200
Subject: [PATCH] [Makefile] Uses option -rectypes for abstract_memory.

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 228828bb611..1c16099dada 100644
--- a/Makefile
+++ b/Makefile
@@ -675,6 +675,9 @@ check-logic-parser-wildcard:
 
 NON_OPAQUE_DEPS+= src/kernel_services/plugin_entry_points/dynamic
 
+src/kernel_services/abstract_interp/abstract_memory.cmo: BFLAGS += -rectypes
+src/kernel_services/abstract_interp/abstract_memory.cmx: OFLAGS += -rectypes
+
 # C Bindings
 ############
 
-- 
GitLab