From e75ea0a64b700a86ff473814d864759be6928b3d Mon Sep 17 00:00:00 2001
From: Olivier Laviale <olivier.laviale@gmail.com>
Date: Thu, 6 Apr 2017 21:40:38 +0200
Subject: [PATCH] Use ApplicationAbstract

---
 tests/Application.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/Application.php b/tests/Application.php
index 6f6ec1d..f28d70f 100644
--- a/tests/Application.php
+++ b/tests/Application.php
@@ -11,7 +11,7 @@
 
 namespace ICanBoogie;
 
-class Application extends Core
+class Application extends ApplicationAbstract
 {
 
 }