diff options
Diffstat (limited to 'src/include/open-axiom/token')
| -rw-r--r-- | src/include/open-axiom/token | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/open-axiom/token b/src/include/open-axiom/token index 9eb0b66b..b45adfa5 100644 --- a/src/include/open-axiom/token +++ b/src/include/open-axiom/token @@ -43,6 +43,7 @@ namespace OpenAxiom { enum class LineKind : uint8_t { Ordinary, // Ordinary input line + Description, // Documentation commentary lines. Meta, // Input to the attention of the reader Ignorable, // Ignorable commentary line }; |