Remove outdated comment about atoms
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
parent
7d2c7d9579
commit
f180470158
|
@ -4,8 +4,6 @@
|
||||||
|
|
||||||
module Atom : sig
|
module Atom : sig
|
||||||
type t = private A of string [@@unboxed]
|
type t = private A of string [@@unboxed]
|
||||||
(** Acceptable atoms are composed of chars in the range ['!' .. '~'] excluding
|
|
||||||
[' ' '"' '(' ')' ';' '\\'], and must be nonempty. *)
|
|
||||||
|
|
||||||
type syntax = Jbuild | Dune
|
type syntax = Jbuild | Dune
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue