Fix for coverity

diff --git a/src/modules/rlm_krb5/rlm_krb5.c b/src/modules/rlm_krb5/rlm_krb5.c
index 167c499438242ece5c559e74b0dac8afd0ddee6f..6743f0ec8932f6b365f43918cbafe2d00dd5ac62 100644 (file)
--- a/src/modules/rlm_krb5/rlm_krb5.c
+++ b/src/modules/rlm_krb5/rlm_krb5.c
@@ -327,6 +327,7 @@ static rlm_rcode_t krb5_auth(void *instance, REQUEST *request)
                
                return RLM_MODULE_FAIL;
        }
+       rad_assert(context != NULL); /* tell coverity copy context copies it */
 
        /*
         *      Check we have all the required VPs, and convert the username