From 360efabf36f74b9339308ba1b494612e1bf4185c Mon Sep 17 00:00:00 2001
From: dwarning <dwarning>
Date: Thu, 25 Oct 2018 10:51:55 +0200
Subject: [PATCH] no null pointer to fprintf

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

diff --git a/src/frontend/spiceif.c b/src/frontend/spiceif.c
index e22f10b3f..1192bdc1d 100644
--- a/src/frontend/spiceif.c
+++ b/src/frontend/spiceif.c
@@ -1301,7 +1301,7 @@ if_getstat(CKTcircuit *ckt, char *name)
                                           if_parm->id, &parm,
                                           NULL) == -1)
             {
-                fprintf(cp_err, "if_getstat: Internal Error: can't get %s\n", name);
+                fprintf(cp_err, "if_getstat: Internal Error: can't get a name\n");
                 return (NULL);
             }