Index: trunk/util/boxsym-rnd/parser.awk
===================================================================
--- trunk/util/boxsym-rnd/parser.awk	(revision 4864)
+++ trunk/util/boxsym-rnd/parser.awk	(revision 4865)
@@ -73,10 +73,20 @@
 			print "Invalid end - expected slot end in line", NR > stderr
 			exit 1
 		}
-		if (($1 == "num") || ($1 == "loc") || ($1 == "dir"))
+		if (($1 == "num") || ($1 == "loc") || ($1 == "dir")) {
+			if (PIN[pin, $1] != "") {
+				print "ERROR: multiple definitions of " pin "/" $1 " in line " NR > "/dev/stderr"
+				exit 1
+			}
 			PIN[pin, $1] = del1($0)
-		else if ($1 == "invcirc")
+		}
+		else if ($1 == "invcirc") {
+			if (PIN[pin, $1] != "") {
+				print "ERROR: multiple definitions of " pin "/" $1 " in line " NR > "/dev/stderr"
+				exit 1
+			}
 			PIN[pin, $1] = 1
+		}
 		else {
 			print "Invalid pin command in line", NR > stderr
 			exit 1