From abca0f7fd92e2b93f8618211700972f3c27750c7 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 15 Sep 2023 11:25:48 +0200 Subject: [PATCH] * spot/tl/formula.hh: Typo in comment. --- spot/tl/formula.hh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spot/tl/formula.hh b/spot/tl/formula.hh index 074ec8b02..0c7377e1c 100644 --- a/spot/tl/formula.hh +++ b/spot/tl/formula.hh @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2015-2022 Laboratoire de Recherche et Développement +// Copyright (C) 2015-2023 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -64,7 +64,7 @@ // Use #if SPOT_HAS_STRONG_X in code that need to be backward // compatible with older Spot versions. # define SPOT_HAS_STRONG_X 1 -// You me #define SPOT_WANT_STRONG_X yourself before including +// You may #define SPOT_WANT_STRONG_X yourself before including // this file to force the use of STRONG_X # define SPOT_WANT_STRONG_X 1 #endif