From 2fa9c2753436d30e6c293dd2f25829d2f1c0edd0 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 2 Oct 2015 17:00:27 +0200 Subject: [PATCH] postproc: default to an empty formula * src/twaalgos/postproc.hh: Allow the formula not to be specified. The code already support that, as it is called with an explicit nullptr in autfilt (for example), but not requiring the nullptr is better for the Python bindings. --- src/twaalgos/postproc.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/twaalgos/postproc.hh b/src/twaalgos/postproc.hh index 236215f2f..1c7208ab9 100644 --- a/src/twaalgos/postproc.hh +++ b/src/twaalgos/postproc.hh @@ -99,7 +99,7 @@ namespace spot /// /// The returned automaton might be a new automaton, /// or an in-place modification of the \a input automaton. - twa_graph_ptr run(twa_graph_ptr input, formula f); + twa_graph_ptr run(twa_graph_ptr input, formula f = nullptr); protected: twa_graph_ptr do_simul(const twa_graph_ptr& input, int opt);