Fix typo

seahorn · Apr 6, 2020 · e601bd0 · e601bd0
1 parent 6e9623b
commit e601bd0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/stats.cpp b/lib/stats.cpp
@@ -37,6 +37,7 @@ void CrabStats::PrintBrunch(crab_os &OS) {
 
 ScopedCrabStats::ScopedCrabStats(const std::string &name, bool reset): m_name("") {}
 ScopedCrabStats::~ScopedCrabStats() {}
+}
 #else 
 /* Real implementation stars here */
 #include <sys/resource.h>