-/* Copyright (c) 2015-2020. The SimGrid Team.
+/* Copyright (c) 2015-2023. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
{
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; });
}
}