Skip to content

Remove unused toOrderExprs#202

Merged
ocharles merged 1 commit intocircuithub:masterfrom
tomjaguarpaw:remove-unused-toOrderExprs
Aug 30, 2022
Merged

Remove unused toOrderExprs#202
ocharles merged 1 commit intocircuithub:masterfrom
tomjaguarpaw:remove-unused-toOrderExprs

Conversation

@tomjaguarpaw
Copy link
Copy Markdown
Contributor

No description provided.

@tomjaguarpaw
Copy link
Copy Markdown
Contributor Author

Is this used for anything? If not, should it be removed?

@ocharles
Copy link
Copy Markdown
Contributor

Evidently not! Likely once used to do ordering but since changed.

@ocharles ocharles merged commit 44d5d0a into circuithub:master Aug 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants