From 28cf3ed71359fc19dbe47e720b040772dd0fd6da Mon Sep 17 00:00:00 2001
From: Tingan Ho <tingan87@gmail.com>
Date: Sat, 19 Nov 2016 12:00:30 +0100
Subject: [PATCH] Fixes typo

---
 Source/TestFramework/Core.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Source/TestFramework/Core.cpp b/Source/TestFramework/Core.cpp
index d77db9d6..8e0794bc 100644
--- a/Source/TestFramework/Core.cpp
+++ b/Source/TestFramework/Core.cpp
@@ -66,11 +66,11 @@ int printResult() {
     string domain = domain_size == 1 ? " domain" : " domains";
     cout << "    " + to_string(domain_size) + domain << endl;
 
-    if (testsFailed > 0) {
+    if (tests_failed > 0) {
         cout << endl;
         cout << "Failed tests:" << endl;
         cout << endl;
-        for (auto const & t : failedTests) {
+        for (auto const & t : failed_tests) {
             cout <<  "\e[31m    " + t->name + "\e[0m" << endl;
         }
     }