fix unnecessary casting and resulting clippy warning.#594

moritz-gross wants to merge 1 commit into

daisy:maindaisy/MathCAT:mainfrom

moritz-gross:fix-unnecessary-string-castingmoritz-gross/MathCAT:fix-unnecessary-string-castingCopy head branch name to clipboard