From 2951f7fda84083d0b14ba0158416ffed344ec971 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 29 May 2020 18:26:58 +0200
Subject: [PATCH] sync with frama-c master

---
 frama-c            | 2 +-
 semver/GNUmakefile | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/frama-c b/frama-c
index 2b7c2f71f..c32afcc40 160000
--- a/frama-c
+++ b/frama-c
@@ -1 +1 @@
-Subproject commit 2b7c2f71f152b9e0758333f31d05bb9300e06ebd
+Subproject commit c32afcc4038b1234219137cae196f3f776533d2f
diff --git a/semver/GNUmakefile b/semver/GNUmakefile
index eab6d89a2..910c8cc59 100644
--- a/semver/GNUmakefile
+++ b/semver/GNUmakefile
@@ -35,7 +35,7 @@ FCFLAGS     += \
 # (Optional) Eva-specific flags
 EVAFLAGS    += \
   -eva-warn-key builtins:missing-spec=abort \
-  -eva-builtin calloc:Frama_C_calloc_fresh \
+  -eva-alloc-builtin fresh \
   -slevel 82 \
 
 # (MANDATORY) Name of the main target
-- 
GitLab