diff --git a/src/plugins/value/legacy/eval_terms.ml b/src/plugins/value/legacy/eval_terms.ml
index cc731160df4899f144603383aa6cc6b1fd9a98eb..13867fb697135dc15d28090ee42127525f6366af 100644
--- a/src/plugins/value/legacy/eval_terms.ml
+++ b/src/plugins/value/legacy/eval_terms.ml
@@ -388,8 +388,7 @@ let infer_binop_res_type op targ =
   | Lt | Gt | Le | Ge | Eq | Ne | LAnd | LOr ->
     Cil.intType (* those operators always return a boolean *)
 
-(* This function could probably be in Logic_utils. It computes [*tsets],
-   assuming that [tsets] has a pointer type. *)
+(* Computes [*tsets], assuming that [tsets] has a pointer type. *)
 let deref_tsets tsets = Cil.mkTermMem ~addr:tsets ~off:TNoOffset