diff options
| author | mrmr1993 | 2018-03-03 11:06:48 +0000 |
|---|---|---|
| committer | mrmr1993 | 2018-03-05 14:35:30 +0000 |
| commit | 1f0d1f04b704e3368a12613f31061a53a2e40d01 (patch) | |
| tree | 2dd28a7d2bfa1e5a5fc8e50f293b8371db67edc8 /engine | |
| parent | c84509113e08372e9aa30eae57ce98f56ca95bde (diff) | |
Replace invalid tag @raises in ocamldoc comments with @raise
Diffstat (limited to 'engine')
| -rw-r--r-- | engine/evd.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/engine/evd.mli b/engine/evd.mli index 55b8e3a832..10fdf07e72 100644 --- a/engine/evd.mli +++ b/engine/evd.mli @@ -320,8 +320,8 @@ exception UniversesDiffer val add_universe_constraints : evar_map -> Universes.Constraints.t -> evar_map (** Add the given universe unification constraints to the evar map. - @raises UniversesDiffer in case a first-order unification fails. - @raises UniverseInconsistency + @raise UniversesDiffer in case a first-order unification fails. + @raise UniverseInconsistency *) (** {5 Extra data} |