diff --git a/quiz/src/runner.cpp b/quiz/src/runner.cpp index fa266a8fe..a14bbf31d 100644 --- a/quiz/src/runner.cpp +++ b/quiz/src/runner.cpp @@ -2,6 +2,7 @@ #include "symbols.h" #include #include +#include #include void quiz_print(const char * message) { @@ -21,6 +22,9 @@ void quiz_print(const char * message) { } void ion_main(int argc, char * argv[]) { + // Initialize Poincare::TreePool::sharedPool + Poincare::init(); + int i = 0; while (quiz_cases[i] != NULL) { QuizCase c = quiz_cases[i];