From 6e7c3f278edd5ab3ebfb98bd1c8e636d36746ccc Mon Sep 17 00:00:00 2001 From: lucaperju Date: Fri, 12 Jul 2024 18:05:39 +0200 Subject: [PATCH] remove comment --- include/generators/order_polytope_generator.h | 1 - 1 file changed, 1 deletion(-) diff --git a/include/generators/order_polytope_generator.h b/include/generators/order_polytope_generator.h index e9199ba2c..3cd907bd9 100644 --- a/include/generators/order_polytope_generator.h +++ b/include/generators/order_polytope_generator.h @@ -66,7 +66,6 @@ Polytope get_orderpoly(Poset const &poset) { Polytope HP(OP.dimension(), OP.get_full_mat(), OP.get_vec()); return HP; } else { - // TODO: implement functionality for more polytope types throw "Unable to generate an Order Polytope of requested type"; } }