From 73d390b76801b2e3224e1f029b57276679b8cdeb Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 14 Jan 2022 13:58:05 +0100
Subject: [PATCH] [eacsl] Remove obsolete Error.Ignored exception
---
src/plugins/e-acsl/src/libraries/error.ml | 4 ----
src/plugins/e-acsl/src/libraries/error.mli | 4 ----
2 files changed, 8 deletions(-)
diff --git a/src/plugins/e-acsl/src/libraries/error.ml b/src/plugins/e-acsl/src/libraries/error.ml
index 6293096f839..fb6b3ad8709 100644
--- a/src/plugins/e-acsl/src/libraries/error.ml
+++ b/src/plugins/e-acsl/src/libraries/error.ml
@@ -22,9 +22,6 @@
open Error_types
-exception Ignored
-let ignored () = raise Ignored
-
exception Typing_error of string
let untypable s = raise (Typing_error s)
@@ -75,7 +72,6 @@ let generic_handle f res x =
| Not_yet s ->
print_not_yet s;
res
- | Ignored -> res
let handle f x = generic_handle f x x
diff --git a/src/plugins/e-acsl/src/libraries/error.mli b/src/plugins/e-acsl/src/libraries/error.mli
index 9d35c516a33..60e8dd1f339 100644
--- a/src/plugins/e-acsl/src/libraries/error.mli
+++ b/src/plugins/e-acsl/src/libraries/error.mli
@@ -23,7 +23,6 @@
(** Handling errors. *)
open Error_types
-exception Ignored
exception Typing_error of string
exception Not_yet of string
exception Not_memoized
@@ -34,9 +33,6 @@ val untypable: string -> 'a
val not_yet: string -> 'a
(** Not_yet_implemented error built from the given argument. *)
-val ignored: unit -> 'a
-(** Statement already signaled and marked as ignored *)
-
val not_memoized : unit -> 'a
(** @raise Not_memoized when asking the preprocessed form of something that
was not preprocessed *)
--
GitLab