diff -r 95281174e297 -r f382ec6dba11 project_files/hwc/rtl/GL.h
--- a/project_files/hwc/rtl/GL.h	Sun Aug 04 01:52:12 2019 +0200
+++ b/project_files/hwc/rtl/GL.h	Mon Aug 05 00:20:45 2019 +0200
@@ -33,5 +33,6 @@
 void glGetShaderiv(GLuint shader, GLenum pname, GLint *params);
 GLuint glCreateShader(GLenum shaderType);
 void glCompileShader(GLuint shader);
-void glShaderSource(GLuint shader, GLsizei count,/* const dropped for pas2c compat */ GLchar **string, const GLint *length);
+//void glShaderSource(GLuint shader, GLsizei count,/* const dropped for pas2c compat */ GLchar **string, const GLint *length);
+void glShaderSource(GLuint shader, GLsizei count, const GLchar *const*string, const GLint *length);
 #endif