From da0cdf11846d8cb5bffcb7eccb36da99698b169a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 17 Jul 2017 09:32:04 +0200
Subject: [PATCH] remfin: typo

* spot/twaalgos/remfin.cc: 0x16 is not 16.
---
 spot/twaalgos/remfin.cc | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/spot/twaalgos/remfin.cc b/spot/twaalgos/remfin.cc
index 4ec8fa0ed..6d5c06462 100644
--- a/spot/twaalgos/remfin.cc
+++ b/spot/twaalgos/remfin.cc
@@ -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>;