From 92fb29c1ebe5ab9728f9ce68c7d3a89178cc0fc3 Mon Sep 17 00:00:00 2001
From: Jonathan Kliem <jonathan.kliem@fu-berlin.de>
Date: Fri, 28 Aug 2020 16:23:56 +0200
Subject: [PATCH] removed redundant function

---
 .../combinatorial_polyhedron/bit_vector_operations.cc          | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/sage/geometry/polyhedron/combinatorial_polyhedron/bit_vector_operations.cc b/src/sage/geometry/polyhedron/combinatorial_polyhedron/bit_vector_operations.cc
index 94af91def85..fdd3c8f904c 100644
--- a/src/sage/geometry/polyhedron/combinatorial_polyhedron/bit_vector_operations.cc
+++ b/src/sage/geometry/polyhedron/combinatorial_polyhedron/bit_vector_operations.cc
@@ -109,9 +109,6 @@ inline int contains_one(uint64_t *face, uint64_t **faces, size_t n_faces, size_t
         contains_one(face, faces+skip+1, n_faces-skip-1, face_length);
 }
 
-void set_not_inclusion_maximal(uint64_t **faces, size_t n_faces, int *is_not_maximal){
-}
-
 size_t get_next_level(\
         uint64_t **faces, size_t n_faces, uint64_t **maybe_newfaces, \
         uint64_t **newfaces, uint64_t **visited_all, \