Remove old unused exceptions

goblint · Oct 9, 2024 · 7898bc5 · 7898bc5
1 parent a5bedf6
commit 7898bc5
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 8 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -34,8 +34,6 @@ module MainFunctor (Priv:BasePriv.S) (RVEval:BaseDomain.ExpEvaluator with type t
 struct
   include Analyses.DefaultSpec
 
-  exception Top
-
   module Dom    = BaseDomain.DomFunctor (Priv.D) (RVEval)
   type t = Dom.t
   module D      = Dom

diff --git a/src/analyses/symbLocks.ml b/src/analyses/symbLocks.ml
@@ -21,8 +21,6 @@ module Spec =
 struct
   include Analyses.DefaultSpec
 
-  exception Top
-
   module D = SymbLocksDomain.Symbolic
   include Analyses.ValueContexts(D)
 

diff --git a/src/analyses/varEq.ml b/src/analyses/varEq.ml
@@ -11,8 +11,6 @@ open Analyses
 
 module Spec =
 struct
-  exception Top
-
   include Analyses.DefaultSpec
 
   module D =

diff --git a/src/solver/topDown_deprecated.ml b/src/solver/topDown_deprecated.ml
@@ -4,8 +4,6 @@ open Batteries
 open ConstrSys
 open Messages
 
-exception SolverCannotDoGlobals
-
 
 (** modified SLR3 as top down solver *)
 module TD3 =