Index: sources/test_regression/15092005b/system.cpp
===================================================================
--- sources/test_regression/15092005b/system.cpp	(revision 56)
+++ sources/test_regression/15092005b/system.cpp	(revision 60)
@@ -92,4 +92,7 @@
     top_level t("top_level");
 
+    // Setup number of threads open-mp to 1 with the macro threads_omp()
+    threads_omp();
+
     t.clk(clk);
     t.o(out);