Skip to content

Commit

Permalink
Occurrences: Fix operators not being resolved well
Browse files Browse the repository at this point in the history
Due to the fact that they are sometimes referenced as `<op>` but stored as
`(<op>)`.

Signed-off-by: Paul-Elliot <[email protected]>
  • Loading branch information
panglesd committed Oct 19, 2023
1 parent 094d696 commit f3d1ecb
Show file tree
Hide file tree
Showing 4 changed files with 883 additions and 2,478 deletions.
Loading

0 comments on commit f3d1ecb

Please sign in to comment.