diff --git a/src/plugins/e-acsl/keep_status.ml b/src/plugins/e-acsl/keep_status.ml
index 78c2d9551dae8f080051221b579faf794361e585..cb76ec3fcc5a2f673d3a6b2a63ca37dca8ab2635 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 =