From f1804701584e73cfc35194502cd9b28ab405f4f3 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Wed, 20 Jun 2018 16:02:51 +0630
Subject: [PATCH] Remove outdated comment about atoms

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
---
 src/usexp/usexp.mli | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/usexp/usexp.mli b/src/usexp/usexp.mli
index ec79fb5a..79792ced 100644
--- a/src/usexp/usexp.mli
+++ b/src/usexp/usexp.mli
@@ -4,8 +4,6 @@
 
 module Atom : sig
   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