From d139ceef17d285b10e43066945ed557bb15600b7 Mon Sep 17 00:00:00 2001 From: Julian Erhard Date: Mon, 11 Dec 2023 11:26:55 +0100 Subject: [PATCH] Remove unused rec flag. --- src/cdomains/preValueDomain.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cdomains/preValueDomain.ml b/src/cdomains/preValueDomain.ml index 21523c5bb9..a95d2ec1e9 100644 --- a/src/cdomains/preValueDomain.ml +++ b/src/cdomains/preValueDomain.ml @@ -5,7 +5,7 @@ module Offs = struct include Offset.MakeLattice (IndexDomain) (** Add the [additional_offset] to the [base_offset]. In case [additional_offset] starts with an index offset, merge this index with the index occurring at the end of [base_offset], if any. *) - let rec add_offset_merge_index_offset ~(base_offset: t) ~(additional_offset: t): t = + let add_offset_merge_index_offset ~(base_offset: t) ~(additional_offset: t): t = match additional_offset with | `NoOffset -> base_offset | `Field (f,o) -> add_offset base_offset additional_offset