From e979791071e95ddb26fdf27b75492fcdbf68bc7d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 24 May 2018 17:19:00 +0200 Subject: [PATCH] common: typo * spot/misc/common.hh (SPOT_BUILTIN_UNREACHABLE): Typo. --- spot/misc/common.hh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/spot/misc/common.hh b/spot/misc/common.hh index 554644615..97ad16427 100644 --- a/spot/misc/common.hh +++ b/spot/misc/common.hh @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2013, 2014, 2015, 2016, 2017 Laboratoire de Recherche et -// Développement de l'Epita (LRDE). +// Copyright (C) 2013-2018 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // @@ -107,7 +107,7 @@ // Do not use those in code, prefer SPOT_UNREACHABLE() instead. -#if defined __clang__ || defined __GNU__ +#if defined __clang__ || defined __GNUC__ # define SPOT_UNREACHABLE_BUILTIN() __builtin_unreachable() # elif defined _MSC_VER # define SPOT_UNREACHABLE_BUILTIN() __assume(0)