Removed unnecessary header file

SRI-CSL · Mar 15, 2024 · 4f1235d · 4f1235d
1 parent c39f9d1
commit 4f1235d
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 23 deletions.
diff --git a/src/polynomial/feasibility_set_int.c b/src/polynomial/feasibility_set_int.c
@@ -18,7 +18,6 @@
  */
 
 #include <feasibility_set_int.h>
-#include "polynomial/feasibility_set_int.h"
 
 #include <stdlib.h>
 #include <assert.h>

diff --git a/src/polynomial/feasibility_set_int.h b/src/polynomial/feasibility_set_int.h
diff --git a/src/polynomial/polynomial.c b/src/polynomial/polynomial.c
@@ -34,7 +34,6 @@
 #include "number/integer.h"
 
 #include "polynomial/feasibility_set.h"
-#include "polynomial/feasibility_set_int.h"
 #include "polynomial/polynomial_vector.h"
 
 #include "utils/debug_trace.h"