Remove extra qualification on an imported type#134

mariari wants to merge 1 commit intomainanoma/arm-risc0:mainfrom

mariari/remove-unused-qualificationanoma/arm-risc0:mariari/remove-unused-qualificationCopy head branch name to clipboard