From cf6c17b50957fc9f2463deebef8488ba22b0d8f6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 10 Jun 2015 08:27:39 +0200
Subject: [PATCH] * src/twaalgos/hoa.hh (print_hoa): Add default value for opt.

---
 src/twaalgos/hoa.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/twaalgos/hoa.hh b/src/twaalgos/hoa.hh
index 182cbd579..f201ec229 100644
--- a/src/twaalgos/hoa.hh
+++ b/src/twaalgos/hoa.hh
@@ -37,6 +37,6 @@ namespace spot
   ///        single-line output.
   SPOT_API std::ostream&
   print_hoa(std::ostream& os,
-		const const_twa_ptr& g,
-		const char* opt);
+	    const const_twa_ptr& g,
+	    const char* opt = nullptr);
 }