update smir_pretty submodule to latest master (#434)

Co-authored-by: devops <[email protected]>

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); \

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. <[email protected]>",

kmir/src/kmir/__init__.py

@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.60'
+VERSION: Final = '0.3.61'

package/version

@@ -1 +1 @@
-0.3.60
+0.3.61