diff --git a/_oasis b/_oasis
index b7f010b0c..6dafbaffa 100644
--- a/_oasis
+++ b/_oasis
@@ -69,7 +69,7 @@ Library tcp
   Path:               tcp
   Findlibparent:      tcpip
   Findlibname:        tcp
-  Modules:            Options,Wire,State,Tcptimer,Sequence,Sliding_window,Ack,
+  Modules:            Options,Wire,State,Tcptimer,Sequence,Ack,
                       Window,Segment,User_buffer,Pcb,Flow
   BuildDepends:       io-page,
                       mirage-types,
diff --git a/_tags b/_tags
index d64e53389..7c6a31185 100644
--- a/_tags
+++ b/_tags
@@ -1,5 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 67ffe3d1ae0f586991f8c38ab831f735)
+# DO NOT EDIT (digest: f9fff6055d6ed99bbe8e141b101ae9f5)
 # Ignore VCS directories, you can use the same kind of rule outside
 # OASIS_START/STOP if you want to exclude directories that contains
 # useless stuff for the build process
@@ -45,7 +45,6 @@ true: annot, bin_annot
 "tcp/state.cmx": for-pack(Tcp)
 "tcp/tcptimer.cmx": for-pack(Tcp)
 "tcp/sequence.cmx": for-pack(Tcp)
-"tcp/sliding_window.cmx": for-pack(Tcp)
 "tcp/ack.cmx": for-pack(Tcp)
 "tcp/window.cmx": for-pack(Tcp)
 "tcp/segment.cmx": for-pack(Tcp)
diff --git a/setup.ml b/setup.ml
index 9968eb1c2..06def7f5a 100644
--- a/setup.ml
+++ b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.5 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 75b4d316c87acd82b1ffa79c5e474a61) *)
+(* DO NOT EDIT (digest: e19c1551baf2d1bbee3584bdd4b93b94) *)
 (*
    Regenerated by OASIS v0.4.5
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -7012,7 +7012,6 @@ let setup_t =
                            "State";
                            "Tcptimer";
                            "Sequence";
-                           "Sliding_window";
                            "Ack";
                            "Window";
                            "Segment";
@@ -7658,7 +7657,8 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.5";
-     oasis_digest = Some "õ+¬<\143Öõv \004\151së\031{ý";
+     oasis_digest =
+       Some "rM\151\245\231\138\162t\127\006\016\215\238\188\199\128";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
diff --git a/tcp/tcp.mlpack b/tcp/tcp.mlpack
index 953e27063..7a605cd00 100644
--- a/tcp/tcp.mlpack
+++ b/tcp/tcp.mlpack
@@ -1,11 +1,10 @@
 # OASIS_START
-# DO NOT EDIT (digest: 930522b050ab87350477f790a86dd9d6)
+# DO NOT EDIT (digest: a1d3c8591e91c674b25051803a310a2d)
 Options
 Wire
 State
 Tcptimer
 Sequence
-Sliding_window
 Ack
 Window
 Segment