From cc5f6d929f8f1f71cc4c3411943f0806ee19c95b Mon Sep 17 00:00:00 2001
From: Tim Edwards <tim@opencircuitdesign.com>
Date: Fri, 16 Sep 2022 13:55:23 -0400
Subject: [PATCH] Added a missing block of code from Mitch Bailey's version
 that fails to handle a topology match with a pin mismatch situation.

---
 VERSION           | 2 +-
 tcltk/tclnetgen.c | 8 ++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index 249ea41..a6a91e5 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.5.230
+1.5.231
diff --git a/tcltk/tclnetgen.c b/tcltk/tclnetgen.c
index 165dba2..10c3355 100644
--- a/tcltk/tclnetgen.c
+++ b/tcltk/tclnetgen.c
@@ -2650,6 +2650,14 @@ _netcmp_verify(ClientData clientData,
 	 else
 	     Fprintf(stdout, "Netlists do not match.\n");
       }
+      else if (automorphisms == -2) {
+	 if (index == EQUIV_IDX)
+	    Tcl_SetObjResult(interp, Tcl_NewBooleanObj(1));
+	 else if (index == UNIQUE_IDX)
+	    Tcl_SetObjResult(interp, Tcl_NewIntObj(-2));
+	 else if (index > 0)
+	    Fprintf(stdout, "Circuits match uniquely with port errors.\n");
+      }
       else {
 	 if (automorphisms) {
 	    if (index == EQUIV_IDX)