From b33f32be5ace88460d48754f4b5ea332578eb1c4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 2 Apr 2019 15:50:59 +0200 Subject: [PATCH] * NEWS: Fix non-existent address --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 8213a28f0..2131536ab 100644 --- a/NEWS +++ b/NEWS @@ -4172,7 +4172,7 @@ New in spot 1.0 (2012-10-27): output more statistics. An introduction to these tools can be found on-line at - http://spot.lrde.lip6.fr/tools.html + http://spot.lrde.epita.fr/tools.html The former test versions of genltl and randltl have been removed from the source tree. The old version of ltl2tgba with its