From 0ec3f7843aefabc73565ca58417c7fa84f33d6d6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 22 May 2013 20:06:26 +0200
Subject: [PATCH] simulation: fix compilation with g++ < 4.5.

* src/tgbaalgos/simulation.cc: Pass template arguments to base-class
initializer to fix compilation with g++ < 4.5.  Reported by Sonali
Dutta.
---
 src/tgbaalgos/simulation.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tgbaalgos/simulation.cc b/src/tgbaalgos/simulation.cc
index 1ee61ed89..953ce79e7 100644
--- a/src/tgbaalgos/simulation.cc
+++ b/src/tgbaalgos/simulation.cc
@@ -1014,7 +1014,7 @@ namespace spot
 
     public:
       direct_simulation_dont_care(const tgba* t)
-      : direct_simulation(t)
+      : direct_simulation<false, false>(t)
       {
         // This variable is used in the new signature.
         on_cycle_ =