project_files/hwc/rtl/fileio.h
branchwebgl
changeset 8047 25a4daa6473c
parent 7983 02f36c3e7f6c
child 11687 2c21bc80c95d
--- a/project_files/hwc/rtl/fileio.h	Tue Nov 13 22:24:30 2012 +0100
+++ b/project_files/hwc/rtl/fileio.h	Tue Nov 13 23:39:49 2012 +0100
@@ -2,7 +2,7 @@
 #define FILEIO_H_
 
 #include <stdio.h>
-#include "types.h"
+#include "Types.h"
 #include "misc.h"
 
 extern        int                                       FileMode;