# HG changeset patch
# User jwe
# Date 791677507 0
# Node ID d5b0d11e3200f8e7f1b83fb0ed486352beedd4d5
# Parent  7b7e58b31316b7feca1235fe43a2c9d0759de443
[project @ 1995-02-01 22:25:07 by jwe]

diff -r 7b7e58b31316 -r d5b0d11e3200 src/parse.y
--- a/src/parse.y	Wed Feb 01 21:47:49 1995 +0000
+++ b/src/parse.y	Wed Feb 01 22:25:07 1995 +0000
@@ -1233,7 +1233,7 @@
 
   char *msg = output_buf.str ();
 
-  parse_error (msg);
+  parse_error ("%s", msg);
 
   delete [] msg;
 }