From a48dd31fa3d7ab088aabf31fa53aff690dc33cf3 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 25 Aug 2016 18:57:21 +0200
Subject: [PATCH] Update against changes in kernel API
---
src/plugins/e-acsl/translate.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/translate.ml b/src/plugins/e-acsl/translate.ml
index e4247eea184..97da08d3b54 100644
--- a/src/plugins/e-acsl/translate.ml
+++ b/src/plugins/e-acsl/translate.ml
@@ -997,6 +997,7 @@ let translate_pre_code_annotation kf stmt env annot =
then not_yet env "allocation"
else env
| APragma _ -> not_yet env "pragma"
+ | AExtended _ -> env (* never translate extensions. *)
in
handle_error convert env
@@ -1008,7 +1009,8 @@ let translate_post_code_annotation kf stmt env annot =
| AVariant _
| AAssigns _
| AAllocation _
- | APragma _ -> env
+ | APragma _
+ | AExtended _ -> env
in
handle_error convert env
--
GitLab