X-Git-Url: http://git.silcnet.org/gitweb/?p=crypto.git;a=blobdiff_plain;f=lib%2Fsilcasn1%2Fsilcasn1_encode.c;fp=lib%2Fsilcasn1%2Fsilcasn1_encode.c;h=5b4c00713fb9b971f39724fa993acb9141e2a485;hp=8b4c7a8cbd4fffddd2af93e4af084ede2fe32d97;hb=9b499de7f8fdbb24c32b8a0a84bb2fbbcdab782a;hpb=70e318cb277c68c299be5132b79c63d29f25114f

diff --git a/lib/silcasn1/silcasn1_encode.c b/lib/silcasn1/silcasn1_encode.c
index 8b4c7a8c..5b4c0071 100644
--- a/lib/silcasn1/silcasn1_encode.c
+++ b/lib/silcasn1/silcasn1_encode.c
@@ -189,7 +189,7 @@ silc_asn1_encoder(SilcAsn1 asn1, SilcStack stack1, SilcStack stack2,
 	    SILC_LOG_DEBUG(("Error decoding underlaying node for ANY"));
 	    goto fail;
 	  }
-	  assert(enc == SILC_BER_ENC_CONSTRUCTED);
+	  SILC_VERIFY(enc == SILC_BER_ENC_CONSTRUCTED);
 
 	  /* Now encode with implicit tagging */
 	  len = silc_ber_encoded_len(tag, d_len, FALSE);
@@ -485,7 +485,7 @@ silc_asn1_encoder(SilcAsn1 asn1, SilcStack stack1, SilcStack stack2,
 	/* Encode empty BER block */
 	SilcBool val = va_arg(asn1->ap, SilcUInt32);
 
-	assert(indef == FALSE);
+	SILC_VERIFY(indef == FALSE);
 
 	if (!val)
 	  break;