diff --git a/src/not-so-smart/decoder.mli b/src/not-so-smart/decoder.mli index 1785ef362..8e53312f9 100644 --- a/src/not-so-smart/decoder.mli +++ b/src/not-so-smart/decoder.mli @@ -3,8 +3,8 @@ We define a "packet line" (aka a "packet") as - | 4 bytes || (pkt-len)-4 | - [ enc-pkt-len ][ pkt-content ] + | 4 bytes || (enc-pkt-len)-4 | + [ enc-pkt-len ][ pkt-content ] |------- pkt-len ------| Example: "0009done\n" where [enc-pkt-len = 4] and [pkt-content = "done"] given we