update fipsnamespace

Signed-off-by: Jake Massimo <[email protected]>

Author: jakemas

proofs/cbmc/compute_t0_t1_tr_from_sk_components/Makefile

@@ -20,7 +20,7 @@ PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mldsa/src/sign.c
 
 CHECK_FUNCTION_CONTRACTS=mld_compute_t0_t1_tr_from_sk_components
-USE_FUNCTION_CONTRACTS=$(FIPS202_NAMESPACE)shake256
+USE_FUNCTION_CONTRACTS=$(MLD_NAMESPACE)shake256
 USE_FUNCTION_CONTRACTS+=$(MLD_NAMESPACE)polyvec_matrix_expand
 USE_FUNCTION_CONTRACTS+=$(MLD_NAMESPACE)polyvecl_ntt
 USE_FUNCTION_CONTRACTS+=$(MLD_NAMESPACE)polyvec_matrix_pointwise_montgomery