From edd4e71dc9bfb3e0231f595971ce850947c4f900 Mon Sep 17 00:00:00 2001 From: Francesco Cagnin Date: Sun, 12 Jun 2022 17:59:29 +0200 Subject: [PATCH] Fix important typo (#114) --- src/include/maat/stats.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/include/maat/stats.hpp b/src/include/maat/stats.hpp index 5dfdd401..7d85a9aa 100644 --- 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";