diff --git a/test/cbmc/proofs/DNS/CreateDNSMessage/Makefile.json b/test/cbmc/proofs/DNS/CreateDNSMessage/Makefile.json
index 5bb6f67d9..8961c19ff 100644
--- a/test/cbmc/proofs/DNS/CreateDNSMessage/Makefile.json
+++ b/test/cbmc/proofs/DNS/CreateDNSMessage/Makefile.json
@@ -7,7 +7,7 @@
   [
     "--unwind 1",
     "--unwindset strlen.0:{HOSTNAME_UNWIND}",
-    "--unwindset strcpy.0:{HOSTNAME_UNWIND}",
+    "--unwindset strncpy.0:{HOSTNAME_UNWIND}",
     "--unwindset __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage.0:{HOSTNAME_UNWIND}",
     "--unwindset __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage.1:{HOSTNAME_UNWIND}",
     "--nondet-static"