stats: rename QueriesConstructs to QueryConstructs

1 files changed, 6 insertions, 6 deletions

diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index 70b51208..7e44a70a 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -302,15 +302,15 @@ static bool EvaluateInputAST(const char *Filename,
   if (uint64_t queries = *theStatisticManager->getStatisticByName("Queries")) {
     llvm::outs()
       << "--\n"
-      << "total queries = " << queries << "\n"
-      << "total queries constructs = " 
-      << *theStatisticManager->getStatisticByName("QueriesConstructs") << "\n"
+      << "total queries = " << queries << '\n'
+      << "total query constructs = "
+      << *theStatisticManager->getStatisticByName("QueryConstructs") << '\n'
       << "valid queries = " 
-      << *theStatisticManager->getStatisticByName("QueriesValid") << "\n"
+      << *theStatisticManager->getStatisticByName("QueriesValid") << '\n'
       << "invalid queries = " 
-      << *theStatisticManager->getStatisticByName("QueriesInvalid") << "\n"
+      << *theStatisticManager->getStatisticByName("QueriesInvalid") << '\n'
       << "query cex = " 
-      << *theStatisticManager->getStatisticByName("QueriesCEX") << "\n";
+      << *theStatisticManager->getStatisticByName("QueriesCEX") << '\n';
   }
 
   return success;