From d7da9c759c9b07196fdafe1f0c125169bce8f430 Mon Sep 17 00:00:00 2001 From: CopperCableIsolator Date: Thu, 19 Dec 2024 17:01:41 +0100 Subject: [PATCH] small bugfix assert_rref --- src/cdomains/affineEquality/sparseImplementation/listMatrix.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cdomains/affineEquality/sparseImplementation/listMatrix.ml b/src/cdomains/affineEquality/sparseImplementation/listMatrix.ml index f5e91f092d..263ac8addf 100644 --- a/src/cdomains/affineEquality/sparseImplementation/listMatrix.ml +++ b/src/cdomains/affineEquality/sparseImplementation/listMatrix.ml @@ -226,7 +226,7 @@ module ListMatrix: AbstractMatrix = | [] -> true | (pr, pc)::ps -> let target = if pr <> i then A.zero else A.one in - if V.nth v pc <> target then false else validate_vec ps + if V.nth v pc <>: target then false else validate_vec ps in if validate_vec pivot_l then validate vs (i+1) else raise (Invalid_argument "Matrix not in rref: pivot column not empty!") in validate m 0