diff --git a/lang/see/files/patch-libsee_system.c b/lang/see/files/patch-libsee_system.c new file mode 100644 index 000000000000..de82865ab167 --- /dev/null +++ b/lang/see/files/patch-libsee_system.c @@ -0,0 +1,11 @@ +--- libsee/system.c.orig 2009-12-17 14:05:43.000000000 -0800 ++++ libsee/system.c 2009-12-17 14:07:20.000000000 -0800 +@@ -70,6 +70,8 @@ + #include "dprint.h" + #include "platform.h" + ++typedef void * GC_PTR; ++ + /* Prototypes */ + static unsigned int simple_random_seed(void); + #if HAVE_GC_MALLOC