Skip to content

fixing typo#1001

Open
muck-stump wants to merge 1 commit intoMiniZinc:masterfrom
muck-stump:master
Open

fixing typo#1001
muck-stump wants to merge 1 commit intoMiniZinc:masterfrom
muck-stump:master

Conversation

@muck-stump
Copy link
Copy Markdown

hamming distance references in docs where it should be manhattan distance. section 4.2.7.2,

Sorry if this is messy its meant to be a response to the issue I raised in the repo. Not sure how to connect them though. I've never contributed before so please let me know if I'm doing things wrong

hamming distance references in docs where it should be manhattan
distance. section 4.2.7.2
@muck-stump
Copy link
Copy Markdown
Author

in reference to issue #1000

@Dekker1
Copy link
Copy Markdown
Member

Dekker1 commented Mar 8, 2026

Thank you for the fix, could you change the PR to also include the documentation fix for the other versions of manhattan_distance then it can be accepted without cahnge

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