diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
index a9405a7f0b52fd9c7ebddc34b036bb9ad6ed5609..6e29a4a342723d170a97506a1a1e158abc11fcab 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
@@ -55,9 +55,16 @@ static void trace() {
     char *prefix = (counter) ? " - " : "";
     if (ipr) {
       char *outs = (char*)ipr->stdouts;
-      outs[strlen(outs)-1] = '\0';
-      if (strlen(outs) && endswith(outs, "??:0") && endswith(outs, "??:?")) {
-        printf("%s%s\n", prefix, outs);
+      if (outs) {
+        outs[strlen(outs)-1] = '\0';
+        if (strlen(outs) && endswith(outs, "??:0") && endswith(outs, "??:?")) {
+          printf("%s%s\n", prefix, outs);
+        }
+      } else {
+        char *errs = (char*)ipr->stderrs;
+        if (errs) {
+          printf("%s\n", errs);
+        }
       }
     }
     bb++;