@@ -42,6 +42,7 @@ int main(int argc, char* argv[])
if (argc > 1)
output = argv[1];
+ // Default to not proof batching if not specified
size_t lambda = 0;
if (argc > 2)
lambda = atoi(argv[2]);