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

Job	Run time
rocq-core	1m 3s
rocq-elpi	1m 3s
coq	1m 1s
coq-elpi	1m 4s
mathcomp-bigenough	1m 20s
mathcomp-finmap	1m 4s
stdlib	1m 2s
hierarchy-builder	1m 5s
mathcomp-classical	3m 27s
mathcomp-analysis-single	18m 22s
mathcomp	1m 6s
mathcomp-reals	4m 22s
mathcomp-experimental-reals	2m 29s
mathcomp-reals-stdlib	1m 46s
mathcomp-analysis	15m 36s
mathcomp-analysis-stdlib	16m 45s
	1h 12m 35s

Provide feedback