diff -r 17408c3607ce -r f25ba6fd7a08 src/ccodegen.h
--- a/src/ccodegen.h	Thu Aug 25 11:30:30 2016 +0200
+++ b/src/ccodegen.h	Thu Aug 25 12:16:57 2016 +0200
@@ -36,7 +36,7 @@
 extern "C" {
 #endif
 
-void c_highlighter(char *src, UcxBuffer *dest, int *mlc);
+void c_highlighter(char *src, UcxBuffer *dest, HighlighterData *hd);
 
 #ifdef	__cplusplus
 }