From b121b58e91bbe87131b0ac89989d16395101ab84 Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Sun, 5 Feb 2006 19:57:10 +0000
Subject: [PATCH] (verify_row): NSC_BITS implies symbol_ca.  Oops if violated.

---
 src/lib/common/ef_verify.c | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/src/lib/common/ef_verify.c b/src/lib/common/ef_verify.c
index 91ced1b0..9e098efe 100644
--- a/src/lib/common/ef_verify.c
+++ b/src/lib/common/ef_verify.c
@@ -76,14 +76,8 @@ verify_row(int type, int row)
 	    ca_sym = ef_cadef(ca[i].ca_table);
 	    if (ca[i].ca_flags & NSC_BITS) {
 		/* symbol set */
-		if (ca_sym != symbol_ca) {
-		    fprintf(stderr,
-			    "Unable to verify symbol set as the "
-			    "table %s is not created as symbol table "
-			    "for table %s row %d field %s\n",
-			    ef_nameof(ca[i].ca_table), ef_nameof(type),
-			    row + 1, ca[i].ca_name
-			);
+		if (CANT_HAPPEN(ca_sym != symbol_ca)) {
+		    ret_val = -1;
 		    continue;
 		}
 		for (k = 0; k < (int)sizeof(long) * 8; k++) {