diff --git a/src/tokenType.mli b/src/tokenType.mli index a6fb7506343a8f17abb7a089928821d6fc43ea66..23ba867288f25f0ffde75018144c97ae660c6c0d 100644 --- a/src/tokenType.mli +++ b/src/tokenType.mli @@ -2,8 +2,6 @@ the [token] type. In particular, if [--only-tokens] was specified, it emits the type definition and exits. *) -open Grammar - (* This is the conventional name of the [token] type, for use by the code generator. *)