diff options
| -rw-r--r-- | pretyping/structures.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pretyping/structures.mli b/pretyping/structures.mli index a1cc38e8e0..05b21b1033 100644 --- a/pretyping/structures.mli +++ b/pretyping/structures.mli @@ -101,7 +101,6 @@ end corresponding to val is [val cvalue_arguments]. It is possible that val is one of the [abs] abstractions, eg [Default_cs], and in that case [cvalue_abstraction = Some i] *) - module CanonicalSolution : sig type t = { |