Remove unnecessary type cast#66

joewiz wants to merge 2 commits intoeXist-db:mastereXist-db/function-documentation:masterfrom

joewiz:remove-unnecessary-type-castjoewiz/function-documentation:remove-unnecessary-type-castCopy head branch name to clipboard