DefaultActivity-2023-12-07

Guillaume Huard

@huardg

8f59fa16 · Fixed the lack of compilation when giving no instructions · Dec 07, 2023

Fixed small compilation issue