diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-12-02 15:47:25 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-12-02 15:47:25 +0100 |
| commit | 56923ee472f1eaa67d3543e19372823139205885 (patch) | |
| tree | accd9e05fb5875457967c5b456626767ff3e9c9e /src/syntax/kind.rs | |
| parent | 9bc90c371fb41a2d6dc08eb4673e5be15f829514 (diff) | |
Multi-part numbering patterns
Diffstat (limited to 'src/syntax/kind.rs')
| -rw-r--r-- | src/syntax/kind.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/syntax/kind.rs b/src/syntax/kind.rs index b7ee6a79..a7425d70 100644 --- a/src/syntax/kind.rs +++ b/src/syntax/kind.rs @@ -1,4 +1,5 @@ use std::hash::{Hash, Hasher}; +use std::num::NonZeroUsize; use std::sync::Arc; use crate::geom::{AbsUnit, AngleUnit}; @@ -164,7 +165,7 @@ pub enum SyntaxKind { /// An item in an enumeration (ordered list): `+ ...` or `1. ...`. EnumItem, /// An explicit enumeration numbering: `23.`. - EnumNumbering(usize), + EnumNumbering(NonZeroUsize), /// An item in a description list: `/ Term: Details`. DescItem, /// A mathematical formula: `$x$`, `$ x^2 $`. |
