From 094dd5b07049e87c3fb5729cd969453c17f2b87f Mon Sep 17 00:00:00 2001
From: Alessio Davoli <davoli.alessio@webdeploy.it>
Date: Mon, 18 Dec 2023 15:56:52 +0100
Subject: [PATCH] Add typedef

---
 frontend/src/lib/components/tabs/MapTab.svelte | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/frontend/src/lib/components/tabs/MapTab.svelte b/frontend/src/lib/components/tabs/MapTab.svelte
index f3efebb..420d148 100644
--- a/frontend/src/lib/components/tabs/MapTab.svelte
+++ b/frontend/src/lib/components/tabs/MapTab.svelte
@@ -31,7 +31,7 @@
             maximumAge: 0,
         };
 
-        function success(pos) {
+        function success(pos: GeolocationPosition) {
             const crd = pos.coords;
 
             let string = "";
@@ -82,11 +82,11 @@
 		await watchPosition();
 		leaflet = await import('leaflet');
 
-		renderMap()
+		renderMap();
 	});
 
 	onDestroy(async () => {
-		if(watchPositionId) {
+		if (watchPositionId) {
 			navigator.geolocation.clearWatch(watchPositionId);
 		}
 		if (map) {