From f18c3fb0a735027537af9fc29d74a119020739ea Mon Sep 17 00:00:00 2001
From: memoryleak47 <memoryleak47@protonmail.ch>
Date: Mon, 4 Nov 2024 16:44:15 +0100
Subject: [PATCH] be more lax in parsing; bump 0.0.25

---
 Cargo.toml   | 2 +-
 src/parse.rs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 8a118db..279e3d2 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "slotted-egraphs"
-version = "0.0.24"
+version = "0.0.25"
 edition = "2021"
 description = "E-Graphs with name binding"
 license = "Apache-2.0 OR MIT"
diff --git a/src/parse.rs b/src/parse.rs
index cb8f663..33e436c 100644
--- a/src/parse.rs
+++ b/src/parse.rs
@@ -24,7 +24,7 @@ enum Token {
 
 fn ident_char(c: char) -> bool {
     if c.is_whitespace() { return false; }
-    if "()[]$:=?".contains(c) { return false; }
+    if "()[]".contains(c) { return false; }
     true
 }