Cleanup: Remove quotes from number on printing.

The practice that I am starting to follow when printing is to quote text but not to quote numbers.

diff --git a/level_3/controller/c/private-rule.c b/level_3/controller/c/private-rule.c
index 61eab06bce22e189ce27a3b15c93773aea132d24..c62cd91a51567e5cca28108f5389abae6cdfe4e4 100644 (file)
--- a/level_3/controller/c/private-rule.c
+++ b/level_3/controller/c/private-rule.c
@@ -756,9 +756,9 @@ extern "C" {
         fl_print_format("%['.%]%c", print.to.stream, print.context, print.context, f_string_eol_s[0]);
       }
       else if (code) {
-        fl_print_format("%[' failed with the exit code '%]", print.to.stream, print.context, print.context);
+        fl_print_format("%[' failed with the exit code %]", print.to.stream, print.context, print.context);
         fl_print_format("%[%i%]", print.to.stream, print.notable, code, print.notable);
-        fl_print_format("%['.%]%c", print.to.stream, print.context, print.context, f_string_eol_s[0]);
+        fl_print_format("%[.%]%c", print.to.stream, print.context, print.context, f_string_eol_s[0]);
       }
       else {
         fl_print_format("%[' failed.%]%c", print.to.stream, print.context, print.context, f_string_eol_s[0]);