diff --git a/src/common/util/cilLocation.ml b/src/common/util/cilLocation.ml
index 6f9a3ce7c4..23c1b8df5b 100644
--- a/src/common/util/cilLocation.ml
+++ b/src/common/util/cilLocation.ml
@@ -11,14 +11,7 @@ let get_labelLoc = function
   | CaseRange (_, _, loc, eloc) -> {loc; eloc}
   | Default (loc, eloc) -> {loc; eloc}
 
-(* let rec get_labelsLoc = function
-  | [] -> {loc = locUnknown; eloc = locUnknown}
-  | label :: labels ->
-    let loc = get_labelLoc label in
-    if CilType.Location.equal loc Cil.locUnknown then
-      get_labelsLoc labels (* maybe another label has known location *)
-    else
-      loc *)
+(* TODO: need get_labelsLoc? *)
 
 (** Following functions are similar to [Cil] versions, but return expression location instead of entire statement location, where possible. *)
 (* Ideally we would have both copies of the functions available, but UpdateCil would have to be adapted per-stmtkind/instr to store and update either one or two locations. *)