Minor

NeuralNetworkVerification · Dec 3, 2024 · 903523f · 903523f
1 parent f828933
commit 903523f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/common/Statistics.cpp b/src/common/Statistics.cpp
@@ -427,8 +427,7 @@ void Statistics::print()
             getUnsignedAttribute( Statistics::NUM_CERTIFIED_LEAVES ) );
     printf( "\tNumber of leaves to delegate: %u\n",
             getUnsignedAttribute( Statistics::NUM_DELEGATED_LEAVES ) );
-    printf( "\tNumber of lemmas: %u\n",
-            getUnsignedAttribute( Statistics::NUM_LEMMAS ) );
+    printf( "\tNumber of lemmas: %u\n", getUnsignedAttribute( Statistics::NUM_LEMMAS ) );
 }
 
 unsigned long long Statistics::getTotalTimeInMicro() const