From 9f6426b9f4cea89ec2a0a96bb9e0225a7d97814f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 26 Mar 2014 11:01:44 +0100
Subject: [PATCH] better aborting message
---
src/plugins/e-acsl/env.ml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/env.ml b/src/plugins/e-acsl/env.ml
index 6c2493c460b..6b6c32680bd 100644
--- a/src/plugins/e-acsl/env.ml
+++ b/src/plugins/e-acsl/env.ml
@@ -371,7 +371,10 @@ let pop_and_get env stmt ~global_clear where =
| _ :: tl ->
match stmt.skind with
| Block { bstmts = [ fst; snd ] } -> extract snd (fst :: acc) tl
- | _ -> assert false
+ | _ ->
+ Kernel.fatal
+ "experting a block containing 2 statements instead of %a"
+ Printer.pp_stmt stmt
in
extract stmt [] block.pre_stmts
in
--
GitLab