Commit 0db6a07c authored by Etienne Renault's avatar Etienne Renault

mc: please Werror=noexcept

* spot/mc/intersect.hh: here.
parent 179eaa5d
// -*- coding: utf-8 -*-
// Copyright (C) 2015, 2016 Laboratoire de Recherche et
// Copyright (C) 2015, 2016, 2018 Laboratoire de Recherche et
// Developpement de l'Epita
//
// This file is part of Spot, a model checking library.
......@@ -240,7 +240,7 @@ namespace spot
struct product_state_hash
{
size_t
operator()(const product_state that) const
operator()(const product_state that) const noexcept
{
// FIXME! wang32_hash(that.st_prop) could have
// been pre-calculated!
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment