From 60bc269fd28e1fe31a675efd3a3d21df5fcd4816 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 8 Feb 2017 10:51:19 +0100 Subject: [PATCH] * spot/tl/parse.hh (fix_utf8_locations): Fix documentation. --- spot/tl/parse.hh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/spot/tl/parse.hh b/spot/tl/parse.hh index 01b91125c..f42aa8f6f 100644 --- a/spot/tl/parse.hh +++ b/spot/tl/parse.hh @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire +// Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017 Laboratoire // de Recherche et Développement de l'Epita (LRDE). // Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de // Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), @@ -220,9 +220,9 @@ namespace spot /// valid utf8. /// /// You should NOT call this function before calling - /// spot::format_parse_errors() because it is already called - /// inside if needed. You may need this function only if you want - /// to write your own error reporting code. + /// spot::parsed_formula::format_errors() because it is already + /// called inside if needed. You may need this function only if you + /// want to write your own error reporting code. /// /// \param input_string The string that were parsed. /// \param error_list The error list filled by spot::parse