From e471d4e67d8bfdcfcd254841ece33d1efda65bd6 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Mon, 29 Feb 2016 09:01:43 +0100 Subject: [PATCH] scanaut: add missing braces to please -Wdangling-else * spot/parseaut/scanaut.ll: here. --- spot/parseaut/scanaut.ll | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/spot/parseaut/scanaut.ll b/spot/parseaut/scanaut.ll index 6fd5264ec..6f4f66852 100644 --- a/spot/parseaut/scanaut.ll +++ b/spot/parseaut/scanaut.ll @@ -1,5 +1,5 @@ /* -*- coding: utf-8 -*- -** Copyright (C) 2014, 2015 Laboratoire de Recherche et Développement +** Copyright (C) 2014, 2015, 2016 Laboratoire de Recherche et Développement ** de l'Epita (LRDE). ** ** This file is part of Spot, a model checking library. @@ -208,10 +208,12 @@ identifier [[:alpha:]_][[:alnum:]_.-]* lbtt_t = false; if (end) while (int c = *end++) - if (c == 's') - lbtt_s = true; - else // c == 't' - lbtt_t = true; + { + if (c == 's') + lbtt_s = true; + else // c == 't' + lbtt_t = true; + } if (!lbtt_t) lbtt_s = true; if (lbtt_states == 0)