diff --git a/infer/src/base/Exception.ml b/infer/src/base/Exception.ml
index eca1d3875..1e7e639c0 100644
--- a/infer/src/base/Exception.ml
+++ b/infer/src/base/Exception.ml
@@ -11,7 +11,6 @@ module F = Format
 type failure_kind =
   | FKtimeout  (** max time exceeded *)
   | FKsymops_timeout of int  (** max symop's exceeded *)
-  | FKrecursion_timeout of int  (** max recursion level exceeded *)
   | FKcrash of string  (** uncaught exception or failed assertion *)
 
 (** failure that prevented biabduction analysis from finishing *)
@@ -51,7 +50,5 @@ let pp_failure_kind fmt = function
       F.pp_print_string fmt "TIMEOUT"
   | FKsymops_timeout symops ->
       F.fprintf fmt "SYMOPS TIMEOUT (%d)" symops
-  | FKrecursion_timeout level ->
-      F.fprintf fmt "RECURSION TIMEOUT (%d)" level
   | FKcrash msg ->
       F.fprintf fmt "CRASH (%s)" msg
diff --git a/infer/src/base/Exception.mli b/infer/src/base/Exception.mli
index 8792358fd..119f7f858 100644
--- a/infer/src/base/Exception.mli
+++ b/infer/src/base/Exception.mli
@@ -14,7 +14,6 @@ open! IStd
 type failure_kind =
   | FKtimeout  (** max time exceeded *)
   | FKsymops_timeout of int  (** max symop's exceeded *)
-  | FKrecursion_timeout of int  (** max recursion level exceeded *)
   | FKcrash of string  (** uncaught exception or failed assertion *)
 
 val pp_failure_kind : Format.formatter -> failure_kind -> unit
diff --git a/infer/src/base/SymOp.ml b/infer/src/biabduction/SymOp.ml
similarity index 100%
rename from infer/src/base/SymOp.ml
rename to infer/src/biabduction/SymOp.ml
diff --git a/infer/src/base/SymOp.mli b/infer/src/biabduction/SymOp.mli
similarity index 100%
rename from infer/src/base/SymOp.mli
rename to infer/src/biabduction/SymOp.mli