fixed imports

ths-rwth · Sep 19, 2019 · 42a09d5 · 42a09d5
1 parent ff31eb4
commit 42a09d5
Showing 1 changed file with 7 additions and 7 deletions.
diff --git 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
 {