X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/368f75ae50489f85a5f83f997f050653f48e5d18..b8dce3c7c286678208d27713c5380cfe35867101:/src/llmain.c

diff --git a/src/llmain.c b/src/llmain.c
index e2b29b5..40178a3 100644
--- a/src/llmain.c
+++ b/src/llmain.c
@@ -1221,7 +1221,7 @@ llinterrupt (int i)
 		 cstring_toCharsSafe (loc));
 	cstring_free (loc);
 	printCodePoint ();
-	fprintf (g_errorstream, "*** Please report bug to %s\n", SPLINT_MAINTAINER);
+	fprintf (g_errorstream, "*** Please report bug to %s\n*** A useful bug report should include everything we need to reproduce the bug.\n", SPLINT_MAINTAINER);
 	exit (LLGIVEUP);
       }
     default:
@@ -1231,7 +1231,7 @@ llinterrupt (int i)
 	       cstring_toCharsSafe (fileloc_unparse (g_currentloc)));
       /*@=mustfree@*/
       printCodePoint ();
-      fprintf (g_errorstream, "*** Please report bug to %s ***\n", SPLINT_MAINTAINER);
+      fprintf (g_errorstream, "*** Please report bug to %s\n*** A useful bug report should include everything we need to reproduce the bug.", SPLINT_MAINTAINER);
       exit (LLGIVEUP);
     }
 }