* device/include/pic16/pic18f2431.h,
[fw/sdcc] / device / include / pic16 / pic18f45j10.h
index cb779cf29cf58e10c7fa7585df4ab25f86fc9d87..80c89002fa3ba16f04a571c45eba338a9d4a6121 100644 (file)
@@ -8,4 +8,5 @@
  * (c) 2007 by Raphael Neider <rneider AT web.de>
  */
 
-#include <pic18f44j10.h>
+#include "pic18f44j10.h"
+