From 5817a3c11b37ace2f6877841057abb6fad381129 Mon Sep 17 00:00:00 2001 From: Thibaud Michaud Date: Wed, 29 Oct 2014 11:00:48 +0100 Subject: [PATCH] Remove const qualifier in translator::run return type * src/tgbaalgos/translate.cc, src/tgbaalgos/translate.hh: Remove const qualifier in translator::run return type. --- src/tgbaalgos/translate.cc | 4 ++-- src/tgbaalgos/translate.hh | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/tgbaalgos/translate.cc b/src/tgbaalgos/translate.cc index 542e1dc65..24e39aa0d 100644 --- a/src/tgbaalgos/translate.cc +++ b/src/tgbaalgos/translate.cc @@ -61,7 +61,7 @@ namespace spot simpl_owned_ = simpl_ = new ltl::ltl_simplifier(options, dict); } - const_tgba_digraph_ptr translator::run(const ltl::formula** f) + tgba_digraph_ptr translator::run(const ltl::formula** f) { const ltl::formula* r = simpl_->simplify(*f); (*f)->destroy(); @@ -91,7 +91,7 @@ namespace spot return aut; } - const_tgba_digraph_ptr translator::run(const ltl::formula* f) + tgba_digraph_ptr translator::run(const ltl::formula* f) { f->clone(); auto aut = run(&f); diff --git a/src/tgbaalgos/translate.hh b/src/tgbaalgos/translate.hh index e3bd6623d..21add3e10 100644 --- a/src/tgbaalgos/translate.hh +++ b/src/tgbaalgos/translate.hh @@ -103,14 +103,14 @@ namespace spot /// /// The formula \a f is simplified internally, but it is not /// not destroyed (this is the responsibility of the caller). - const_tgba_digraph_ptr run(const ltl::formula* f); + tgba_digraph_ptr run(const ltl::formula* f); /// \brief Convert \a f into an automaton, and update f. /// /// The formula *f is destroyed, and replaced /// by the simplified version, which should be destroyed by /// the caller. - const_tgba_digraph_ptr run(const ltl::formula** f); + tgba_digraph_ptr run(const ltl::formula** f); protected: void setup_opt(const option_map* opt);