Add a comment about packet and capture lengths

diff --git a/print.c b/print.c
index 70a0043c78d876d85b2dbfe03935c40bb3e77736..e4f1a465d1fbbe94a50fc804e4b996b1791194c8 100644 (file)
--- a/print.c
+++ b/print.c
@@ -343,6 +343,13 @@ pretty_print_packet(netdissect_options *ndo, const struct pcap_pkthdr *h,
                return;
        }
 
+       /*
+        * At this point:
+        *   capture length != 0,
+        *   packet length != 0,
+        *   packet length >= capture length.
+        */
+
        ts_print(ndo, &h->ts);
 
        /*