From 91ca37a8d969234247f30f5dd8f2fca4f2650135 Mon Sep 17 00:00:00 2001
From: danglotb <benjamin.danglot@inria.fr>
Date: Mon, 18 Nov 2019 15:27:57 +0100
Subject: [PATCH] test: fix test of dspot-prettifier

---
 .../eu/stamp_project/prettifier/RedundantCastRemoverTest.java  | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dspot-prettifier/src/test/java/eu/stamp_project/prettifier/RedundantCastRemoverTest.java b/dspot-prettifier/src/test/java/eu/stamp_project/prettifier/RedundantCastRemoverTest.java
index cf66f7f03..5be520301 100644
--- a/dspot-prettifier/src/test/java/eu/stamp_project/prettifier/RedundantCastRemoverTest.java
+++ b/dspot-prettifier/src/test/java/eu/stamp_project/prettifier/RedundantCastRemoverTest.java
@@ -1,5 +1,6 @@
 package eu.stamp_project.prettifier;
 
+import eu.stamp_project.test_framework.TestFramework;
 import org.junit.Test;
 import spoon.Launcher;
 import spoon.reflect.declaration.CtMethod;
@@ -27,6 +28,8 @@ public void test() {
         launcher.addInputResource("src/test/java/eu/stamp_project/resources/AmplifiedTest.java");
         launcher.buildModel();
 
+        TestFramework.init(launcher.getFactory());
+
         final Factory factory = launcher.getFactory();
         final CtMethod<?> redundantCast = factory.Class().get("eu.stamp_project.resources.AmplifiedTest")
                 .getMethodsByName("redundantCast").get(0);