Fix important typo (#114)

trailofbits · Jun 12, 2022 · edd4e71 · edd4e71
1 parent 4569e82
commit edd4e71
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/include/maat/stats.hpp b/src/include/maat/stats.hpp
@@ -196,7 +196,7 @@ class MaatStats
         os << "Lifted insts: " << stats.lifted_insts() << "\n"; 
         os << "Executed IR insts: " << stats.executed_ir_insts() << "\n\n";
 
-        os << "Created symbolic expresssions: " << stats.created_exprs() << "\n\n";
+        os << "Created symbolic expressions: " << stats.created_exprs() << "\n\n";
 
         os << "Solver total time: " << stats.solver_total_time() << " ms \n";
         os << "Solver average time: " << stats.solver_average_time() << " ms \n";