diff --git a/tests/stl/oracle/stl_system_error.res.oracle b/tests/stl/oracle/stl_system_error.res.oracle
index 94668511d81445cf260807140ddf0ad6b439ad73..c5d8f82646028b37b94afc1098d53c0909e6731b 100644
--- a/tests/stl/oracle/stl_system_error.res.oracle
+++ b/tests/stl/oracle/stl_system_error.res.oracle
@@ -1913,6 +1913,17 @@ axiomatic nanosleep_predicates {
 int clock_nanosleep(clockid_t clock_id, int flags,
                     struct timespec const *rqtp, struct timespec *rmtp);
 
+/*@ requires valid_timer: \valid_read(timer);
+    requires valid_result: \valid(result);
+    ensures
+      result_null_or_result: \result ≡ \old(result) ∨ \result ≡ \null;
+    assigns \result, *result;
+    assigns \result \from (indirect: *timer), result;
+    assigns *result \from (indirect: *timer);
+ */
+struct tm *gmtime_r(time_t const * __restrict timer,
+                    struct tm * __restrict result);
+
 /*@ requires valid_request: \valid_read(rqtp);
     requires
       initialized_request: initialization: