Merge pull request #40 from dinosaure/fix-utcp

Fix conjunction in tcp_output_really_helper, adjust to specification

Author: hannesm

src/segment.ml

@@ -385,9 +385,9 @@ let tcp_output_really_helper now (src, src_port, dst, dst_port) window_probe con
       data has yet been sent over the socket  :*)
   let snd_nxt =
     if fin &&
-       Sequence.equal (Sequence.addi cb.State.snd_nxt dlen) (Sequence.incr last_sndq_data_seq) &&
-       not (Sequence.equal cb.State.snd_una cb.State.iss) ||
-       Sequence.window cb.State.snd_nxt cb.State.iss = 2
+       (Sequence.equal (Sequence.addi cb.State.snd_nxt dlen) (Sequence.incr last_sndq_data_seq) &&
+        not (Sequence.equal cb.State.snd_una cb.State.iss) ||
+        Sequence.window cb.State.snd_nxt cb.State.iss = 2)
     then
       Sequence.addi cb.State.snd_nxt (-1)
     else