From 700017f8d25bca1601998d35f7603ae35599847c Mon Sep 17 00:00:00 2001 From: Rebecca Ghidini Date: Tue, 9 Jul 2024 16:49:18 +0200 Subject: [PATCH] remove unused rec flag --- src/cdomains/c2poDomain.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cdomains/c2poDomain.ml b/src/cdomains/c2poDomain.ml index 4de8d86115..098cfa7eaf 100644 --- a/src/cdomains/c2poDomain.ml +++ b/src/cdomains/c2poDomain.ml @@ -834,7 +834,7 @@ module CongruenceClosure = struct (* Remove variables: *) let remove_terms_from_eq predicate cc = - let rec insert_terms cc = List.fold (fun cc t -> snd (insert cc t)) cc in + let insert_terms cc = List.fold (fun cc t -> snd (insert cc t)) cc in (* start from all initial states that are still valid and find new representatives if necessary *) (* new_reps maps each representative term to the new representative of the equivalence class *) (*but new_reps contains an element but not necessarily the representative!!*)