From b4c3949812bd12ee7f0150dae9186a7d49d94f3a Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 28 Mar 2019 19:08:04 +0100
Subject: [PATCH] [Libc] remove unnecessary include

The extraneous include prevents gzip from compiling.
---
 share/libc/unistd.h                                             | 2 +-
 src/plugins/variadic/tests/known/oracle/exec.res.oracle         | 1 -
 .../tests/known/oracle/exec_failed_requirement.res.oracle       | 1 -
 3 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/share/libc/unistd.h b/share/libc/unistd.h
index 019c35bdad2..356ae590fc8 100644
--- a/share/libc/unistd.h
+++ b/share/libc/unistd.h
@@ -36,7 +36,7 @@ __PUSH_FC_STDLIB
 #include "__fc_define_intptr_t.h"
 #include "__fc_select.h"
 
-#include "getopt.h"
+
 #include "limits.h"
 
 extern volatile int Frama_C_entropy_source;
diff --git a/src/plugins/variadic/tests/known/oracle/exec.res.oracle b/src/plugins/variadic/tests/known/oracle/exec.res.oracle
index 1b512fc679b..075e93f7f68 100644
--- a/src/plugins/variadic/tests/known/oracle/exec.res.oracle
+++ b/src/plugins/variadic/tests/known/oracle/exec.res.oracle
@@ -35,7 +35,6 @@
   sentinel ∈ {0}
   __retres ∈ {0}
 /* Generated by Frama-C */
-#include "getopt.h"
 #include "sys/time.h"
 #include "unistd.h"
 int main(void)
diff --git a/src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle b/src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle
index 3bdfda3fde9..97c267c20a2 100644
--- a/src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle
+++ b/src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle
@@ -17,7 +17,6 @@
 [eva:final-states] Values at end of function main:
   NON TERMINATING FUNCTION
 /* Generated by Frama-C */
-#include "getopt.h"
 #include "sys/time.h"
 #include "unistd.h"
 int main(void)
-- 
GitLab