language-servers/egglog-language-server
1
0
Fork 0
mirror of https://github.com/hatoo/egglog-language-server.git synced 2025-12-23 04:36:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix typo

Browse source
This commit is contained in:
hatoo 2024-02-15 14:19:17 +09:00
parent 5262f2b231
commit 30e5121650
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/src_tree.rs
View file

@ -418,7 +418,7 @@ impl SrcTree {
"get",
"not-contains",
"contains",
"set-uniton",
"set-union",
"set-diff",
"set-intersect",
"map-remove",