Fix C++ test Templates1

tautschnig · tautschnig · commit 7d641ea959d4 · 2023-08-18T09:11:10.000Z
Add the missing include.
diff --git a/regression/cbmc-cpp/Templates1/main.cpp b/regression/cbmc-cpp/Templates1/main.cpp
@@ -1,3 +1,5 @@
+#include <cassert>
+
 template <typename T>
 void f(T x)
 {
diff --git a/regression/cbmc-cpp/Templates1/test.desc b/regression/cbmc-cpp/Templates1/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$
