version print format change
@@ -270,7 +270,7 @@ int main(int argc, char *argv[])
options->ufactor = atoi(optarg);
break;
case 'v':
- printf("PLUTO %s - An automatic parallelizer and locality optimizer\n\
+ printf("PLUTO version %s - An automatic parallelizer and locality optimizer\n\
Copyright (C) 2007--2015 Uday Bondhugula\n\
This is free software; see the source for copying conditions. There is NO\n\
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n", PLUTO_VERSION);
