From a60bb24edf95444f79f6ac9e2783889fa11498ed Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Thu, 23 Jan 2025 11:55:35 +1100
Subject: [PATCH] update smir_pretty submodule to latest master (#434)

Co-authored-by: devops <devops@runtimeverification.com>
---
 Makefile                  | 13 ++++++++-----
 deps/smir_pretty          |  2 +-
 kmir/pyproject.toml       |  2 +-
 kmir/src/kmir/__init__.py |  2 +-
 package/version           |  2 +-
 5 files changed, 12 insertions(+), 9 deletions(-)

diff --git a/Makefile b/Makefile
index 881d910f3..50a499894 100644
--- a/Makefile
+++ b/Makefile
@@ -38,9 +38,12 @@ smir-parse-tests: build smir-pretty
 	    dir=$$(dirname $${source}); \
 	    target=$${dir}/$$(basename $${source%.rs}).smir.json; \
 	    ${SMIR} -Z no-codegen --out-dir $${dir} $$source \
-		&& (echo -n "smir-ed "; \
-		    ${POETRY_RUN} convert-from-definition $${target} Pgm > /dev/null \
-			&& (echo "and parsed!"; rm $${target}) || report "$$source" "PARSE ERROR!") \
-		|| report "$$source" "SMIR ERROR!" ; \
-	    done; \
+		&& echo -n "smir-ed " \
+		|| report "$$source" "SMIR ERROR!"; \
+	    if [ -s $${target} ]; then \
+		${POETRY_RUN} convert-from-definition $$(realpath $${target}) Pgm > /dev/null \
+			&& (echo "and parsed!"; rm $${target}) \
+			|| report "$$source" "PARSE ERROR!"; \
+		fi; \
+	done; \
 	[ -z "$$errors" ] || (echo "FAILING TESTS:"; printf ". %s\n" $${errors}; exit 1); \
diff --git a/deps/smir_pretty b/deps/smir_pretty
index dcc656ac8..5314e1f8d 160000
--- a/deps/smir_pretty
+++ b/deps/smir_pretty
@@ -1 +1 @@
-Subproject commit dcc656ac8591fbb284773071081745ef8026e0ad
+Subproject commit 5314e1f8d8053dc129313741bbd3e77ddd1cf0c9
diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
index 2fcb37bdf..b01755f4b 100644
--- a/kmir/pyproject.toml
+++ b/kmir/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmir"
-version = "0.3.60"
+version = "0.3.61"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py
index 2242a1381..709609ca3 100644
--- a/kmir/src/kmir/__init__.py
+++ b/kmir/src/kmir/__init__.py
@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.60'
+VERSION: Final = '0.3.61'
diff --git a/package/version b/package/version
index 755765fe5..c556cc537 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.3.60
+0.3.61