From fc9f1467dfc94955fadd778f26fc14d45c055453 Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Mon, 8 Apr 2024 08:49:42 +0100
Subject: [PATCH] Fix default devShell

Unfortunately, I'll have to wait for a bit until I can use the
playground.
---
 flake.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 1a8b1f5..4d714ad 100644
--- a/flake.nix
+++ b/flake.nix
@@ -97,7 +97,9 @@
           default = pkgs.mkShell {
             nativeBuildInputs = with pkgs; [
               nodejs
-              (tree-sitter.override { webUISupport = true; })
+              # FIXME: waiting on #301336
+              # (tree-sitter.override { webUISupport = true; })
+              tree-sitter
             ];
 
             inherit (checks.pre-commit) shellHook;