From dab8f7feb458ef95b7b96dd71fc69d37031521a3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A1s=20B=20Nagy?=
 <20251272+BNAndras@users.noreply.github.com>
Date: Mon, 15 Jan 2024 04:16:06 -0800
Subject: [PATCH] Update example file path in config (#499)

---
 config.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.json b/config.json
index 88579567d..6b68a5f8a 100644
--- a/config.json
+++ b/config.json
@@ -29,7 +29,7 @@
       "test.ml"
     ],
     "example": [
-      "example.ml"
+      ".meta/example.ml"
     ],
     "exemplar": [
       ".meta/exemplar.ml"