From ac7a0f6d4c09069494c7896eb5fefa2690f3a55a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 8 Apr 2017 18:42:36 +0200
Subject: [PATCH] Fixed typo.

---
 tests/TestSimplification.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/TestSimplification.cpp b/tests/TestSimplification.cpp
index 6670897..32dd22d 100644
--- a/tests/TestSimplification.cpp
+++ b/tests/TestSimplification.cpp
@@ -7,7 +7,7 @@
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////
 
-TEST_CASE("[simplification] Rules are simplified correctly", "[simplified]")
+TEST_CASE("[simplification] Rules are simplified correctly", "[simplification]")
 {
 	std::stringstream input;
 	std::stringstream output;