diff options
| author | Maxime Dénès | 2017-12-27 09:48:38 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-27 09:48:38 +0100 |
| commit | 9a8737360c72735e2099e4d81c9448f37311b498 (patch) | |
| tree | 1964cb69a389a1b4292c5d1a546e145bbba548a8 /API/API.mli | |
| parent | 7fa691096df2ab8924f3449f588a6a9d6c81b5f7 (diff) | |
| parent | 4baccd824d1fe40c57b25c6d3ce04a54c6a38420 (diff) | |
Merge PR #6289: Remove unused boolean from cl_context field of Typeclasses.typeclass
Diffstat (limited to 'API/API.mli')
| -rw-r--r-- | API/API.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/API/API.mli b/API/API.mli index 24a99d57f6..e46bca85fc 100644 --- a/API/API.mli +++ b/API/API.mli @@ -4308,7 +4308,7 @@ sig type typeclass = { cl_univs : Univ.AUContext.t; cl_impl : Globnames.global_reference; - cl_context : (Globnames.global_reference * bool) option list * Context.Rel.t; + cl_context : Globnames.global_reference option list * Context.Rel.t; cl_props : Context.Rel.t; cl_projs : (Names.Name.t * (direction * Vernacexpr.hint_info_expr) option * Names.Constant.t option) list; |