From catch2 version 3 and on, the catch.hpp header needs to be changed to
catch_all.hpp.

See https://github.com/catchorg/Catch2/blob/v3.0.1/docs/migrate-v2-to-v3.md#how-to-migrate-projects-from-v2-to-v3

Index: tests/catch/symboltable.cpp
--- tests/catch/symboltable.cpp.orig
+++ tests/catch/symboltable.cpp
@@ -1,5 +1,5 @@
 
-#include <catch2/catch.hpp>
+#include <catch2/catch_all.hpp>
 #include <../core/ngcore.hpp>
 using namespace ngcore;
 using namespace std;
