From 4c546d1472924cf74cfced85310e2132f79d742a Mon Sep 17 00:00:00 2001
From: Tim Edwards <tim@opencircuitdesign.com>
Date: Wed, 16 Oct 2024 09:44:48 -0400
Subject: [PATCH] Corrected an error that prevents property errors from being
 printed in detail if a port error is also found.

---
 VERSION           |  2 +-
 tcltk/tclnetgen.c | 12 ++++++++++--
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/VERSION b/VERSION
index a599a71..1f6e7a7 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.5.284
+1.5.285
diff --git a/tcltk/tclnetgen.c b/tcltk/tclnetgen.c
index dede0fe..da011f2 100644
--- a/tcltk/tclnetgen.c
+++ b/tcltk/tclnetgen.c
@@ -2522,8 +2522,16 @@ _netcmp_run(ClientData clientData,
 
 	    if (automorphisms == -1)
 	       Fprintf(stdout, "Netlists do not match.\n");
-	    else if (automorphisms == -2)
-	       Fprintf(stdout, "Netlists match uniquely with port errors.\n");
+	    else if (automorphisms == -2) {
+	       Fprintf(stdout, "Netlists match uniquely with port");
+	       if (PropertyErrorDetected) {
+		  Fprintf(stdout, " and property errors.\n");
+	          PrintPropertyResults(dolist);
+	       }
+	       else {
+		  Fprintf(stdout, " errors.\n");
+	       }
+	    }
 	    else {
 	       if (automorphisms == 0)
 	          Fprintf(stdout, "Netlists match uniquely");