From 52192e1feea0d37b3ff51509cd324df9dd8f809e Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 4 May 2021 16:51:26 +0200
Subject: [PATCH] sync with frama-c/frama-c!2338
---
tests/stl/oracle/stl_system_error.res.oracle | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/tests/stl/oracle/stl_system_error.res.oracle b/tests/stl/oracle/stl_system_error.res.oracle
index 04d8410e..42e233f2 100644
--- a/tests/stl/oracle/stl_system_error.res.oracle
+++ b/tests/stl/oracle/stl_system_error.res.oracle
@@ -62,6 +62,10 @@ struct __fc_FILE {
};
typedef struct __fc_FILE FILE;
typedef int clockid_t;
+struct timespec {
+ long tv_sec ;
+ long tv_nsec ;
+};
typedef int pid_t;
typedef unsigned long sigset_t;
union sigval {
@@ -99,10 +103,6 @@ struct tm {
int tm_yday ;
int tm_isdst ;
};
-struct timespec {
- long tv_sec ;
- long tv_nsec ;
-};
typedef char char_type;
typedef int char_type;
struct __shared_ref_base;
--
GitLab