From ed254ea19fbef32e105cd50ad8de30726c09a6dd Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 5 Sep 2016 14:01:44 +0200 Subject: [PATCH] man: fix an apostrophe * bin/man/ltl2tgba.x: Fix apostrophe. It was appearing incorrectly in the generated html pages. --- bin/man/ltl2tgba.x | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/man/ltl2tgba.x b/bin/man/ltl2tgba.x index 9d671d07b..b34aa02ab 100644 --- a/bin/man/ltl2tgba.x +++ b/bin/man/ltl2tgba.x @@ -173,7 +173,7 @@ Deian Tabakov and Moshe Y. Vardi: Optimized Temporal Monitors for SystemC. Proceedings of RV'10. LNCS 6418. .TP \(bu -Marcelo d’Amorim and Grigoire Roşu: Efficient monitoring of +Marcelo d'Amorim and Grigoire Roşu: Efficient monitoring of ω-languages. Proceedings of CAV'05. LNCS 3576. [BIBLIOGRAPHY]