From da2ba6b999a55fb4b1cc5528715b376f8a61e3c1 Mon Sep 17 00:00:00 2001
From: tiyn <tiyn@posteo.eu>
Date: Tue, 21 Oct 2025 15:28:34 +0200
Subject: [PATCH] nvim: added z3 support to compiler

---
 .local/bin/etc/nvim/compiler | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.local/bin/etc/nvim/compiler b/.local/bin/etc/nvim/compiler
index b53dc30..0139d34 100755
--- a/.local/bin/etc/nvim/compiler
+++ b/.local/bin/etc/nvim/compiler
@@ -42,6 +42,7 @@ case "$file" in
 	*\.lua) lua "$file" ;;
 	*\.sent) setsid sent "$file" 2>/dev/null & ;;
         *\.r|*\.R) Rscript "$file" ;;
+        *\.smt2) z3 "$file" ;;
         *\.rs) (cd "$dir" && cargo locate-project >/dev/null 2>&1) \
             && (cd "$(dirname "$(cd "$dir" && cargo locate-project --message-format plain)")" && cargo run) \
             || (rustc "$file" && "./$(basename "${file%.rs}")") ;;