Mensajes

#include <stdio.h>
#include <string.h>

int main(void)
{
   char destino[20];
   char origen[] = "Hola";
   strcpy(destino, origen);
   printf("%s", destino);
   return 0;
}

Me da segmantation fault. Por que?