Fix '#[loca]' typo to '#[local]' in continuous_path.v#1950

mvanhorn wants to merge 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

mvanhorn:osc/1945-fix-loca-typomvanhorn/analysis:osc/1945-fix-loca-typoCopy head branch name to clipboard