diff --git a/src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle b/src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle
index 384591685af0dcf73ebd192dafbaa2cf6424b777..76309462d15d0678365eb0f899d7dc1730f6ad87 100644
--- a/src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle
+++ b/src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle
@@ -119,7 +119,7 @@ int decode_int(char *s)
   int __retres;
   char c;
   /*@ ghost decode_int_pre_func(s); */
-  int intmax = ~ (1 << (sizeof(int) * (unsigned int)8 - (unsigned int)1));
+  int intmax = ~ (1 << (sizeof(int) * (unsigned long)8 - (unsigned long)1));
   int cutlim = intmax % 10;
   int cutoff = intmax / 10;
   int value = 0;