Skip to content

Commit 1ea8040

Browse files
committed
Remove deprecated _with functions from Vector and Matrix interface
1 parent 1fa998f commit 1ea8040

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/cdomains/affineEquality/vector.ml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ sig
6767

6868
val exists2: (num -> num -> bool) -> t -> t -> bool
6969
val rev: t -> t
70-
70+
7171
val map2i: (int -> num -> num -> num) -> t -> t -> t
7272

7373
val mapi: (int -> num -> num) -> t -> t
@@ -88,5 +88,4 @@ sig
8888

8989
(* Returns the part of the vector starting from index n*)
9090
val starting_from_nth : int -> t -> t
91-
9291
end

0 commit comments

Comments
 (0)