From 317234d81083bcce0a7e51d06d7e522a28bc4637 Mon Sep 17 00:00:00 2001
From: Robert Knight <robert@microbit.org>
Date: Thu, 14 Nov 2024 09:50:37 +0000
Subject: [PATCH] Ensure file type for dataset download

---
 src/store.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/store.ts b/src/store.ts
index 0738b75cf..595bc9b31 100644
--- a/src/store.ts
+++ b/src/store.ts
@@ -529,7 +529,7 @@ const createMlStore = (logging: Logging) => {
             );
             a.setAttribute(
               "download",
-              `${project.header?.name ?? untitledProjectName}-data-samples`
+              `${project.header?.name ?? untitledProjectName}-data-samples.json`
             );
             a.style.display = "none";
             a.click();