Gabriele Contini
2019-09-01 7b80a9bd8e2877c42aa95a9f7d753b9f9a29108a
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);
   }