Commit da0cdf11 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

remfin: typo

* spot/twaalgos/remfin.cc: 0x16 is not 16.
parent b9af535f
......@@ -712,11 +712,11 @@ namespace spot
enum class strategy_t : unsigned
{
trivial = 0x01,
weak = 0x02,
alternation = 0x04,
street = 0x08,
rabin = 0x016
trivial = 1,
weak = 2,
alternation = 4,
street = 8,
rabin = 16,
};
using strategy_flags = strong_enum_flags<strategy_t>;
......
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