diff options
Diffstat (limited to 'parsing/pcoq.mli')
| -rw-r--r-- | parsing/pcoq.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli index f83109d39a..e12a1cc11b 100644 --- a/parsing/pcoq.mli +++ b/parsing/pcoq.mli @@ -24,7 +24,7 @@ sig end module Entry : sig - type 'a t = 'a Extend.entry + type 'a t val create : string -> 'a t val parse : 'a t -> Parsable.t -> 'a val print : Format.formatter -> 'a t -> unit |