From 1f8b179ef945d15ac2f406d4ff2195c9ec7891e4 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Tue, 21 Apr 2020 11:45:14 +0200
Subject: [PATCH] typo

---
 src/frontend/resource.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/resource.c b/src/frontend/resource.c
index 37d07b6c1..9bd32c2b2 100644
--- a/src/frontend/resource.c
+++ b/src/frontend/resource.c
@@ -221,7 +221,7 @@ printres(char *name)
             }
             /* do not print it the first time, doubling totalcputime */
             if (called)
-                fprintf(cp_out, "%s time since last call seconds) = %lu.%03lu \n",
+                fprintf(cp_out, "%s time since last call (seconds) = %lu.%03lu \n",
                         cpu_elapsed, last_sec, last_msec);
 
             last_sec = total_sec;