remove dead code recently introduced

Summary: oopsie Reviewed By: ngorogiannis Differential Revision: D66979060 fbshipit-source-id: b48a3116c14fdffc6892b308c83bc41f435e5d0a
facebook · Dec 10, 2024 · 84dcc20 · 84dcc20
1 parent a343269
commit 84dcc20
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/infer/src/pulse/PulseMutualRecursion.mli b/infer/src/pulse/PulseMutualRecursion.mli
@@ -9,8 +9,6 @@ open! IStd
 module F = Format
 open PulseBasicInterface
 
-type call = {proc_name: Procname.t; location: Location.t}
-
 (** the trace represents the start of a cycle but isn't a cycle yet, it's a sequence of calls that
     end where ondemand returned no summary due to mutual recursion; these proto-cycles get bubbled
     the cyclic call stack until the cycle is closed again *)