From fcb74b375fdf72cb888b7acea4729bbb8c43dfd2 Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Thu, 1 Dec 2022 09:58:01 +0100
Subject: [PATCH] nix: fix 'pyright'

---
 flake.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flake.nix b/flake.nix
index 1de3f33..7796816 100644
--- a/flake.nix
+++ b/flake.nix
@@ -62,6 +62,7 @@
               mypy
               z3
             ]))
+            pyright
           ];
 
           inherit (self.checks.${system}.pre-commit) shellHook;