diff options
author | mrmr1993 <mr_1993@hotmail.co.uk> | 2018-03-03 11:06:48 +0000 |
---|---|---|
committer | mrmr1993 <mr_1993@hotmail.co.uk> | 2018-03-05 14:35:30 +0000 |
commit | 1f0d1f04b704e3368a12613f31061a53a2e40d01 (patch) | |
tree | 2dd28a7d2bfa1e5a5fc8e50f293b8371db67edc8 /kernel/uGraph.mli | |
parent | c84509113e08372e9aa30eae57ce98f56ca95bde (diff) |
Replace invalid tag @raises in ocamldoc comments with @raise
Diffstat (limited to 'kernel/uGraph.mli')
-rw-r--r-- | kernel/uGraph.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/uGraph.mli b/kernel/uGraph.mli index 97745771e..d4fba63fb 100644 --- a/kernel/uGraph.mli +++ b/kernel/uGraph.mli @@ -43,7 +43,7 @@ val check_constraint : t -> univ_constraint -> bool val check_constraints : Constraint.t -> t -> bool (** Adds a universe to the graph, ensuring it is >= or > Set. - @raises AlreadyDeclared if the level is already declared in the graph. *) + @raise AlreadyDeclared if the level is already declared in the graph. *) exception AlreadyDeclared |