From d12213da31e447d113f10f2462f47d10ef3e18a9 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 7 Mar 2020 11:25:49 -0600
Subject: [PATCH] doc: missing raise annotation

---
 src/data/CCGraph.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/data/CCGraph.mli b/src/data/CCGraph.mli
index f7ab570c..557fa7e6 100644
--- a/src/data/CCGraph.mli
+++ b/src/data/CCGraph.mli
@@ -249,7 +249,8 @@ val topo_sort_tag : eq:('v -> 'v -> bool) ->
   graph:('v, 'e) t ->
   'v iter ->
   'v list
-(** Same as {!topo_sort} but uses an explicit tag set. *)
+(** Same as {!topo_sort} but uses an explicit tag set.
+    @raise Has_cycle if the graph is not a DAG. *)
 
 (** {2 Lazy Spanning Tree} *)