Sistema l'errore da me commesso in fase di conversione...

[bertos.git] / os / hptime.h

diff --git a/os/hptime.h b/os/hptime.h
old mode 100755 (executable)
new mode 100644 (file)
index 9d9336e..a5072cc
--- a/os/hptime.h
+++ b/os/hptime.h
@@ -12,12 +12,6 @@
 #ifndef HPTIME_H
 #define HPTIME_H
 
-/* sparse? */
-#ifdef __CHECKER__
-       /* Any random OS would do */
-       #define __unix__
-#endif
-
 #ifdef __cplusplus
 extern "C" {
 #endif /* __cplusplus */