fix comment

mirage · Jan 7, 2021 · 9ea426b · 9ea426b
1 parent fd00fee
commit 9ea426b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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