diff --git a/src/winmain.c b/src/winmain.c
index d22bde1a3..c1498dee7 100644
--- a/src/winmain.c
+++ b/src/winmain.c
@@ -1641,4 +1641,14 @@ winmessage(char *new_msg)
 }
 
 
+
+#else /* HAS_WINGUI not defined */
+/* Prevent warning regarding empty translation unit */
+static void dummy(void)
+{
+    return;
+} /* end of function dummy */
+
+
+
 #endif /* HAS_WINGUI */
diff --git a/src/xspice/mif/mifutil.c b/src/xspice/mif/mifutil.c
index b1243afb9..6a98f1004 100644
--- a/src/xspice/mif/mifutil.c
+++ b/src/xspice/mif/mifutil.c
@@ -142,7 +142,6 @@ char  *MIFgettok(char **s)
         }
         break;
     }
-    return NULL; /* should not happen */
 }
 
 #if 0