X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fflip.c;h=3a77334a76ae4f68190c58af46fd950e0682825d;hb=c9b1c72477efa03e0a90f8afd9dafebc8f4b04ef;hp=7ee4e70397b440e3b8f228559c6f2abf19e640d3;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/flip.c b/src/flip.c
index 7ee4e70397..3a77334a76 100644
--- a/src/flip.c
+++ b/src/flip.c
@@ -89,7 +89,7 @@ cmd_flip (void)
       for (i = 0; i < nvar; i++)
 	if (var[i] == newnames)
 	  {
-	    memcpy (&var[i], &var[i + 1], sizeof *var * (nvar - i - 1));
+	    memmove (&var[i], &var[i + 1], sizeof *var * (nvar - i - 1));
 	    nvar--;
 	    break;
 	  }