From 48f79944da98b413e349ae8910f732031410b53d Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 29 Apr 2019 15:25:09 +0200
Subject: [PATCH] [Keep_status] revert to previous state (changes commited by
mistake)
---
src/plugins/e-acsl/keep_status.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/e-acsl/keep_status.ml b/src/plugins/e-acsl/keep_status.ml
index 78c2d9551da..cb76ec3fcc5 100644
--- a/src/plugins/e-acsl/keep_status.ml
+++ b/src/plugins/e-acsl/keep_status.ml
@@ -133,9 +133,9 @@ let must_translate kf kind =
let name = Functions.RTL.get_original_name kf in
try
let info =
-(* try*) Datatype.String.Hashtbl.find keep_status name
-(* with Not_found ->
- Options.fatal "[keep_status] unbound function" Datatype.String.pretty kf*)
+ try Datatype.String.Hashtbl.find keep_status name
+ with Not_found ->
+ Options.fatal "[keep_status] unbound function" Datatype.String.pretty kf
in
info.cpt <- info.cpt + 1;
let kind', keep =
--
GitLab