This is operationally equivalent and makes my emacs happier

jcreedcmu · Mar 12, 2024 · 88a7a7c · 88a7a7c
1 parent 0fd1e64
commit 88a7a7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/twelf-highlight/twelf-tokenizer.ts b/src/twelf-highlight/twelf-tokenizer.ts
@@ -1,6 +1,6 @@
 import type { ParserResponse, StreamParser } from "./tokenizer-types";
 
-const IDCHARS = /^[_!&$^+/<=>?@~|#*`;,\-\\a-zA-Z0-9'\u{80}-\u{10FFFF}]+/u;
+const IDCHARS = /^[_!&$^+\/<=>?@~|#*`;,\-\\a-zA-Z0-9'\u{80}-\u{10FFFF}]+/u;
 
 type State =
   | { type: "Toplevel" }