From 7274ca2bb7fa11b286d4e779f0fb9f13e8afbca6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 7 Sep 2012 11:31:23 +0200
Subject: [PATCH] Fix prototype of ltl_simplifier::ltl_simplifier.

* src/ltlvisit/simplify.hh, src/ltlvisit/simplify.cc: Here.
---
 src/ltlvisit/simplify.cc | 7 ++++---
 src/ltlvisit/simplify.hh | 2 +-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/ltlvisit/simplify.cc b/src/ltlvisit/simplify.cc
index d615cdeb2..85fd0f623 100644
--- a/src/ltlvisit/simplify.cc
+++ b/src/ltlvisit/simplify.cc
@@ -115,10 +115,10 @@ namespace spot
       {
       }
 
-      ltl_simplifier_cache(bdd_dict* d, ltl_simplifier_options opt)
+      ltl_simplifier_cache(bdd_dict* d, const ltl_simplifier_options& opt)
 	: dict(d), options(opt), lcc(d, true, true, false, false)
       {
-	opt.containment_checks |= opt.containment_checks_stronger;
+	options.containment_checks |= options.containment_checks_stronger;
       }
 
       void
@@ -4199,7 +4199,8 @@ namespace spot
       cache_ = new ltl_simplifier_cache(d);
     }
 
-    ltl_simplifier::ltl_simplifier(ltl_simplifier_options& opt, bdd_dict* d)
+    ltl_simplifier::ltl_simplifier(const ltl_simplifier_options& opt,
+				   bdd_dict* d)
     {
       if (!d)
 	{
diff --git a/src/ltlvisit/simplify.hh b/src/ltlvisit/simplify.hh
index 604524a9d..0f2c8c425 100644
--- a/src/ltlvisit/simplify.hh
+++ b/src/ltlvisit/simplify.hh
@@ -73,7 +73,7 @@ namespace spot
     {
     public:
       ltl_simplifier(bdd_dict* dict = 0);
-      ltl_simplifier(ltl_simplifier_options& opt, bdd_dict* dict = 0);
+      ltl_simplifier(const ltl_simplifier_options& opt, bdd_dict* dict = 0);
       ~ltl_simplifier();
 
       /// Simplify the formula \a f (using options supplied to the