diff options
| author | Enrico Tassi | 2021-03-26 20:21:46 +0100 |
|---|---|---|
| committer | GitHub | 2021-03-26 20:21:46 +0100 |
| commit | d9c80dadd353bd8b0eb90ce290048a2538f1a41a (patch) | |
| tree | 97c320a78f5bb7267af8a4fb81a0ed2efb2d6f8e | |
| parent | 2fb6fad0ae62f86a71716b2b179adab8af88bce2 (diff) | |
[doc] cleanup pretyping/structures.mli
| -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 = { |