dtdocbook: Coverity 86996

diff --git a/cde/programs/dtdocbook/instant/util.c b/cde/programs/dtdocbook/instant/util.c
index 9a782692def0eb02b297e72b696323cbd1c271a1..fa726e0f77660a2ee7a77f95fddd96af1bda0285 100644 (file)
--- a/cde/programs/dtdocbook/instant/util.c
+++ b/cde/programs/dtdocbook/instant/util.c
@@ -353,7 +353,7 @@ SetMapping(
        fprintf(stderr, "SetMapping: Map not initialized.\n");
        return;
     }
-    strcpy(buf, s);
+    snprintf(buf, sizeof(buf), "%s", s);
     name = val = buf;
     while (*val && !IsWhite(*val)) val++;      /* point past end of name */
     if (*val) {