diff --git a/tools/scratch.cpp b/tools/scratch.cpp index 8a2fe55a..8d0cd357 100644 --- a/tools/scratch.cpp +++ b/tools/scratch.cpp @@ -1,3 +1,5 @@ +#include + int main (int argc, char **argv) {