add kore-match-disjunction back

runtimeverification · Oct 18, 2023 · 83e461f · 83e461f
1 parent a819169
commit 83e461f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -104,6 +104,7 @@
           paths = let p = haskell-backend.packages.${system};
           in [
             p.kore-exec
+            p.kore-match-disjunction
             p.kore-parser
             p.kore-repl
             p.kore-rpc