diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-16 20:24:27 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-16 20:24:27 -0800 |
commit | 3d58927692b6e6ddffd3c08cbd824aa83c00ccdb (patch) | |
tree | fb96b80bec2692e5ff69a664e8b98484a4ec69c9 /src/include | |
parent | 49b70a18de895e138e40670c249e0d6166c825a6 (diff) | |
download | open-axiom-3d58927692b6e6ddffd3c08cbd824aa83c00ccdb.tar.gz |
Include commentary lines in fragments.
Diffstat (limited to 'src/include')
-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 }; |