From eec0389de40ea3287e1e9c251cdcd976def88c02 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 26 Mar 2020 10:47:08 +0100 Subject: [PATCH] * NEWS: Remove mention of car(). --- NEWS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index 32a22e028..6987ec286 100644 --- a/NEWS +++ b/NEWS @@ -100,8 +100,8 @@ New in spot 2.8.7.dev (not yet released) same transition structure (where the ..._maybe() variant would modify the Rabin automaton if needed). - - car() is a new variant of LAR algorithm that combines several - strategies for paritizing any automaton. + - to_parity() now combines several strategies for paritizing any + automaton. New in spot 2.8.7 (2019-03-13)