X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ea74f5d95928a521a588737e81f1de94eef25d19..a09110fd2917c2121b096754868decbfd6582866:/include/xbt/automaton.hpp

diff --git a/include/xbt/automaton.hpp b/include/xbt/automaton.hpp
index aea5fc6eed..8c4ac2e9b5 100644
--- a/include/xbt/automaton.hpp
+++ b/include/xbt/automaton.hpp
@@ -23,11 +23,7 @@ template <class F> xbt_automaton_propositional_symbol_t add_proposition(const_xb
 {
   auto* callback = new F(std::move(f));
   return xbt_automaton_propositional_symbol_new_callback(
-    a, id,
-    [](void* callback) -> int { return (*(F*)callback)(); },
-    callback,
-    [](void* callback) -> void { delete (F*)callback; }
-  );
+      a, id, [](auto* cb) -> int { return (*(F*)cb)(); }, callback, [](auto* cb) -> void { delete (F*)cb; });
 }
 
 }