@@ -1730,7 +1730,6 @@ int main(int argc, const char **argv) {
srand(time(NULL));
try {
// Load std library
load_std_lib(env);
if (argc == 1 || (argc == 2 && std::string(argv[1]) == "-i"))
The note is not visible to the blocked user.