nodestack: print thread status info in Node::print
[c11tester.git] / schedule.cc
index a2eb4cf7254834fecac49905838d53b647b95de5..f65d1e99c2932c1893a9764d6f95c8b2f5faf80a 100644 (file)
@@ -12,7 +12,7 @@
  * @param e The type to format
  * @param str The output character array
  */
-static void enabled_type_to_string(enabled_type_t e, char *str)
+void enabled_type_to_string(enabled_type_t e, char *str)
 {
        const char *res;
        switch (e) {