From 40519c70aa204f26a8a2107e3c993af447d89996 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Wed, 1 Feb 2023 17:00:26 +0100
Subject: [PATCH] fix includes

---
 src/math/polysat/fixplex_mod_interval_def.h | 2 +-
 src/test/mod_interval.cpp                   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/math/polysat/fixplex_mod_interval_def.h b/src/math/polysat/fixplex_mod_interval_def.h
index a93478f82..0bf832432 100644
--- a/src/math/polysat/fixplex_mod_interval_def.h
+++ b/src/math/polysat/fixplex_mod_interval_def.h
@@ -18,7 +18,7 @@ Author:
 
 #pragma once
 
-#include "math/interval/mod_interval.h"
+#include "fixplex_mod_interval.h"
 
 template<typename Numeral>
 bool mod_interval<Numeral>::contains(Numeral const& n) const {
diff --git a/src/test/mod_interval.cpp b/src/test/mod_interval.cpp
index 7d9e9ecbe..e723f0a54 100644
--- a/src/test/mod_interval.cpp
+++ b/src/test/mod_interval.cpp
@@ -1,4 +1,4 @@
-#include "math/interval/mod_interval_def.h"
+#include "math/polysat/fixplex_mod_interval_def.h"
 #include <iostream>
 
 static void test_interval1() {