diff --git a/src/pedro/pedrodom.h b/src/pedro/pedrodom.h
index e82115ede0d781c540b7a78e8cdf6022b482f7fa..91ad21da20c717f45a2eb538b5c07b714460eb7e 100644 (file)
--- a/src/pedro/pedrodom.h
+++ b/src/pedro/pedrodom.h
void getLineAndColumn(long pos, long *lineNr, long *colNr);
- void error(char *fmt, ...) G_GNUC_PRINTF(2,3);
+ void error(char const *fmt, ...) G_GNUC_PRINTF(2,3);
int peek(long pos);