use array delete

Jan Willamowius

2019-04-21 07eba0e7fe8e0c6149655dc478998a6a2283458e

 src/tools/bootstrap/bootstrap.cpp

@@ -95,7 +95,7 @@
   string public_fname(argv[2]);

   if (file_exists(private_fname) || file_exists(public_fname)) {
      printf("Key file exist, skipping key generation. Do 'make clean' to generate new keys.\n");
      printf("Key files exist, skipping key generation. Do 'make clean' to generate new keys.\n");
      exit(0);
   }