From e8654827aa56bd22fc2bd612de653e927f5510f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 10 Jan 2020 14:16:34 +0100
Subject: [PATCH] [Eva] Fixes a comment.
---
src/kernel_services/abstract_interp/eva_lattice_type.mli | 2 +-
src/kernel_services/abstract_interp/lattice_type.mli | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/abstract_interp/eva_lattice_type.mli b/src/kernel_services/abstract_interp/eva_lattice_type.mli
index 99d58f9ed1b..4846df09c3c 100644
--- a/src/kernel_services/abstract_interp/eva_lattice_type.mli
+++ b/src/kernel_services/abstract_interp/eva_lattice_type.mli
@@ -55,7 +55,7 @@ end
module type With_Diff_One = sig
type t
val diff_if_one : t -> t -> t or_bottom
- (** [diff_of_one t1 t2] is an over-approximation of [t1-t2].
+ (** [diff_if_one t1 t2] is an over-approximation of [t1-t2].
@return [t1] if [t2] is not a singleton. *)
end
diff --git a/src/kernel_services/abstract_interp/lattice_type.mli b/src/kernel_services/abstract_interp/lattice_type.mli
index a494ea5ea67..3bcc722d23a 100644
--- a/src/kernel_services/abstract_interp/lattice_type.mli
+++ b/src/kernel_services/abstract_interp/lattice_type.mli
@@ -105,7 +105,7 @@ end
module type With_Diff_One = sig
type t
val diff_if_one : t -> t -> t
- (** [diff_of_one t1 t2] is an over-approximation of [t1-t2].
+ (** [diff_if_one t1 t2] is an over-approximation of [t1-t2].
@return [t1] if [t2] is not a singleton. *)
end
--
GitLab