X-Git-Url: http://git.efficios.com/?p=babeltrace.git;a=blobdiff_plain;f=include%2Fbabeltrace2%2Fgraph%2Fmessage.h;fp=include%2Fbabeltrace2%2Fgraph%2Fmessage.h;h=bc977238c8cb7a0a904ad59f9104fc743be3d504;hp=61470bf809d4d22d02f625125c82f4ef34c89389;hb=5d9ef4cb64e5bd7793d443cbfcc0248bb8804580;hpb=dd26af5bf03f9b21a6ff8eaae0c993827a36cfcf

diff --git a/include/babeltrace2/graph/message.h b/include/babeltrace2/graph/message.h
index 61470bf8..bc977238 100644
--- a/include/babeltrace2/graph/message.h
+++ b/include/babeltrace2/graph/message.h
@@ -2420,6 +2420,7 @@ property values:
 @pre
     <code>bt_stream_class_discarded_events_have_default_clock_snapshots(bt_stream_borrow_class_const(stream))</code>
     returns #BT_TRUE.
+    \bt_p{beginning_clock_snapshot_value} ⩽ \bt_p{end_clock_snapshot_value}
 
 @bt_post_success_frozen{stream}
 */
@@ -2738,6 +2739,7 @@ property values:
 @pre
     <code>bt_stream_class_discarded_packets_have_default_clock_snapshots(bt_stream_borrow_class_const(stream))</code>
     returns #BT_TRUE.
+    \bt_p{beginning_clock_snapshot_value} ⩽ \bt_p{end_clock_snapshot_value}
 
 @bt_post_success_frozen{stream}
 */