diff --git a/tests/basic/oracle/static_1.res.oracle b/tests/basic/oracle/static_1.res.oracle
index f6602e9e1d54c96dc7c08c408cd0c32ddfb64f0e..61de7cab154f418685b16be82e3de40f3948f626 100644
--- a/tests/basic/oracle/static_1.res.oracle
+++ b/tests/basic/oracle/static_1.res.oracle
@@ -62,7 +62,7 @@ int main(void)
   x = 43;
   ;
   tmp = Sm_get();
-  printf_va_1("MARK %d %d\n",tmp,cache);
+  printf("MARK %d %d\n",tmp,cache); /* printf_va_1 */
   __retres = 0;
   return __retres;
 }