diff --git a/smi/src/rt_system.c b/smi/src/rt_system.c
index 3ba2e32ed3f923e301a8794263983afea87521bb..5b11e06d8414c14545796f80852617b49e3572ce 100644
--- a/smi/src/rt_system.c
+++ b/smi/src/rt_system.c
@@ -143,7 +143,7 @@ void quit(taskStateStruct *taskState
 		rt_eprintf("task state %d exceeded time: %lld\n",taskState->stateID,t2-t1);
 }
 
-
+#if 0
 void readClock(taskStateStruct *taskState,
 	unsigned int **reftime // PASS_OUTPUT
   // Input Flags: NA NA NA NA NA NA NA NA
@@ -168,7 +168,7 @@ void readClock_(taskStateStruct *taskState,
 ) {
   **reftime = (GETTIME - smiStart) / 1000000.0 + 0.5;
 }
-
+#endif
 
 void suspend(int time) {
 	RTIME t2,t1;