PetScan::get_array_size: add extra cache keyed on array identifier
[pet.git] / version.cc
blobf88f5d958edb553e9f68e6c6e25c53f25a4ce111
1 #include <stdio.h>
3 #include <clang/Basic/Version.h>
5 #include "gitversion.h"
6 #include "version.h"
8 void pet_print_version(void)
10 printf("%s\n", clang::getClangFullVersion().c_str());
11 printf("%s\n", GIT_HEAD_ID);