From f8526c770678e8b6725c837f8277c7c43cdd2e8f Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 1 Mar 2017 10:50:57 +0100
Subject: [PATCH] Renamed: empty -> is_empty
---
src/plugins/e-acsl/exit_points.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/exit_points.ml b/src/plugins/e-acsl/exit_points.ml
index 0833c5c514e..fa5f5d78e7b 100644
--- a/src/plugins/e-acsl/exit_points.ml
+++ b/src/plugins/e-acsl/exit_points.ml
@@ -51,7 +51,7 @@ let reset () =
Stmt.Hashtbl.reset exit_context;
Stmt.Hashtbl.reset labelled_jumps
-let empty () =
+let is_empty () =
Stmt.Hashtbl.length statement_locals = 0 &&
Stmt.Hashtbl.length exit_context = 0 &&
Stmt.Hashtbl.length labelled_jumps = 0
@@ -132,5 +132,5 @@ class jump_context = object (self)
end
let generate fct =
- assert (empty ());
+ assert (is_empty ());
let _ = Cil.visitCilFunction (new jump_context :> Cil.cilVisitor) fct in ()
--
GitLab