From 4c5f1cdf9c7c71bd16638645ab4f2dfa4a1116d6 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 22 Feb 2017 17:03:15 +0100
Subject: [PATCH] Get rid of unnecessary prefixes
---
src/plugins/e-acsl/exit_points.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/e-acsl/exit_points.ml b/src/plugins/e-acsl/exit_points.ml
index fabb2eadaed..3ca629adc5a 100644
--- a/src/plugins/e-acsl/exit_points.ml
+++ b/src/plugins/e-acsl/exit_points.ml
@@ -24,7 +24,7 @@ open Cil_types
open Cil_datatype
let statement_locals:
- Cil_types.varinfo list Stmt.Hashtbl.t = Stmt.Hashtbl.create 17
+ varinfo list Stmt.Hashtbl.t = Stmt.Hashtbl.create 17
(* Mapping of statements to local variables available within that statement's
scope. The mappings of this structure are used to determine variables which
need to be removed before goto jumps. Generally, if some goto (with
@@ -34,7 +34,7 @@ let statement_locals:
tracked, they need to be removed from tracking. *)
let exit_context:
- Cil_types.stmt Stmt.Hashtbl.t = Stmt.Hashtbl.create 17
+ stmt Stmt.Hashtbl.t = Stmt.Hashtbl.create 17
(* Statement to statement mapping indicating source/destination of a jump.
For instance, break statements are mapped to switches or loops they jump
out from and goto statements are mapped to their labeled statements. Notably,
@@ -43,7 +43,7 @@ let exit_context:
done for consistency, so all required information is stored uniformly. *)
let labelled_jumps:
- Cil_types.stmt Stmt.Hashtbl.t = Stmt.Hashtbl.create 17
+ stmt Stmt.Hashtbl.t = Stmt.Hashtbl.create 17
(* Map labelled statements back to gotos which lead to them *)
let clear () =
--
GitLab