From 9831d45abda804219ddf23360cc57d9ff1bbf607 Mon Sep 17 00:00:00 2001
From: Jeremy L Thompson <jeremy@jeremylt.org>
Date: Fri, 23 Jun 2023 12:39:59 -0600
Subject: [PATCH] minor - destroying null object is always safe

---
 interface/ceed-basis.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/interface/ceed-basis.c b/interface/ceed-basis.c
index 3cdcc5dff4..c11a70b60d 100644
--- a/interface/ceed-basis.c
+++ b/interface/ceed-basis.c
@@ -1686,7 +1686,7 @@ int CeedBasisDestroy(CeedBasis *basis) {
     return CEED_ERROR_SUCCESS;
   }
   if ((*basis)->Destroy) CeedCall((*basis)->Destroy(*basis));
-  if ((*basis)->contract) CeedCall(CeedTensorContractDestroy(&(*basis)->contract));
+  CeedCall(CeedTensorContractDestroy(&(*basis)->contract));
   CeedCall(CeedFree(&(*basis)->q_ref_1d));
   CeedCall(CeedFree(&(*basis)->q_weight_1d));
   CeedCall(CeedFree(&(*basis)->interp));