Skip to content

remove duplicate definition of convert_last_char_to_number - #663

Merged
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:fix/remove-duplicated-function
Aug 10, 2026
Merged

remove duplicate definition of convert_last_char_to_number#663
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:fix/remove-duplicated-function

Conversation

@moritz-gross

Copy link
Copy Markdown
Collaborator

function is defined twice, once in local scope and once globally. we can only keep the global version.

@NSoiffer

Copy link
Copy Markdown
Collaborator

Thanks. Looks like I moved it but didn't delete the old version.

@NSoiffer
NSoiffer merged commit d154365 into daisy:main Aug 10, 2026
8 checks passed
@github-project-automation github-project-automation Bot moved this from Triage to Done in MathCAT Project Board Aug 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

rust Coding in Rust

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants