From 458fc53b712c1a0f5456b0f0154f04c4cde8707d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 9 Nov 2015 08:25:58 +0100 Subject: [PATCH] * src/bin/man/autfilt.x: Fix description. --- src/bin/man/autfilt.x | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/man/autfilt.x b/src/bin/man/autfilt.x index d47b89c93..d67e450ba 100644 --- a/src/bin/man/autfilt.x +++ b/src/bin/man/autfilt.x @@ -1,6 +1,6 @@ .\" -*- coding: utf-8 -*- [NAME] -autfilt \- filter, convert, and transform Büchi automata +autfilt \- filter, convert, and transform omega-automata [DESCRIPTION] .\" Add any additional description here [BIBLIOGRAPHY]