1 files changed, 0 insertions, 13 deletions
diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml
index 160fb10a2..ed1b1c0d8 100644
--- a/otherlibs/unix/unix.ml
+++ b/otherlibs/unix/unix.ml
@@ -400,19 +400,6 @@ type terminal_io = {
     mutable c_ixon: bool;
     mutable c_ixoff: bool;
     mutable c_opost: bool;
-    mutable c_olcuc: bool;
-    mutable c_onlcr: bool;
-    mutable c_ocrnl: bool;
-    mutable c_onocr: bool;
-    mutable c_onlret: bool;
-    mutable c_ofill: bool;
-    mutable c_ofdel: bool;
-    mutable c_nldly: int;
-    mutable c_crdly: int;
-    mutable c_tabdly: int;
-    mutable c_bsdly: int;
-    mutable c_vtdly: int;
-    mutable c_ffdly: int;
     mutable c_obaud: int;
     mutable c_ibaud: int;
     mutable c_csize: int;