From 215b25eb599b6b94a6c0efb2bc0c52d6c57b126e Mon Sep 17 00:00:00 2001 From: CopperCableIsolator Date: Thu, 28 Nov 2024 15:17:01 +0100 Subject: [PATCH] ups --- src/cdomains/affineEquality/vector.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cdomains/affineEquality/vector.ml b/src/cdomains/affineEquality/vector.ml index ce7558c05a..9da0729cc5 100644 --- a/src/cdomains/affineEquality/vector.ml +++ b/src/cdomains/affineEquality/vector.ml @@ -18,8 +18,8 @@ sig val insert_val_at: int -> num -> t -> t - val map_preserve_zero: ((int * num) -> (int * num)) -> t -> t - val map2_preserve_zero: ((int * num) -> (int * num) -> (int * num)) -> t -> t -> t + val map_preserve_zero: (num -> num) -> t -> t + val map2_preserve_zero: (num -> num -> num) -> t -> t -> t val apply_with_c: (num -> num -> num) -> num -> t -> t val apply_with_c_with: (num -> num -> num) -> num -> t -> unit