From 42a09d50fdd0314cd40204e082dad969200c5f9f Mon Sep 17 00:00:00 2001
From: Jasper Nalbach <derjasper@posteo.de>
Date: Thu, 19 Sep 2019 12:18:23 +0200
Subject: [PATCH] fixed imports

---
 src/smtrat-strategies/strategies/RatOne.h | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/smtrat-strategies/strategies/RatOne.h b/src/smtrat-strategies/strategies/RatOne.h
index d8ec14318..b9cb2584c 100644
--- a/src/smtrat-strategies/strategies/RatOne.h
+++ b/src/smtrat-strategies/strategies/RatOne.h
@@ -3,13 +3,13 @@
  */
 #pragma once
 
-#include "../solver/Manager.h"
-#include "../modules/FPPModule/FPPModule.h"
-#include "../modules/SATModule/SATModule.h"
-#include "../modules/LRAModule/LRAModule.h"
-#include "../modules/CubeLIAModule/CubeLIAModule.h"
-#include "../modules/VSModule/VSModule.h"
-#include "../modules/CADModule/CADModule.h"
+#include <smtrat-solver/Manager.h>
+#include <smtrat-modules/FPPModule/FPPModule.h>
+#include <smtrat-modules/SATModule/SATModule.h>
+#include <smtrat-modules/LRAModule/LRAModule.h>
+#include <smtrat-modules/CubeLIAModule/CubeLIAModule.h>
+#include <smtrat-modules/VSModule/VSModule.h>
+#include <smtrat-modules/CADModule/CADModule.h>
 
 namespace smtrat
 {