#include <reg51.h> is replaced by #include <8051.h>

[fw/sdcc] / device / lib / printfl.c

diff --git a/device/lib/printfl.c b/device/lib/printfl.c
index ba5a3fa6f67c0cd391e844501bc3772daef81615..77b4cc4c13c893c1075e2ed1128c1e3e555d1b5b 100644 (file)
--- a/device/lib/printfl.c
+++ b/device/lib/printfl.c
@@ -41,8 +41,10 @@
 */
 
 #include <stdarg.h>
-#include <reg51.h>
 #include <stdio.h>
+#ifndef __ds390
+#include <8051.h> // for the SP
+#endif
 
 static data volatile char ch;
 static data char radix ;