diff --git a/benchmarks/bugs/bug_demi_cercles.geo b/benchmarks/bugs/bug_demi_cercles.geo
deleted file mode 100644
index a42a3fe8cb5a67f71075833a15c6677c0644b37a..0000000000000000000000000000000000000000
--- a/benchmarks/bugs/bug_demi_cercles.geo
+++ /dev/null
@@ -1,13 +0,0 @@
-Point(1) = {0.0,0.0,0.0,.08};
-Point(2) = {-.5,0.0,0.0,.08};
-Point(3) = {.5,0.0,0.0,.08};
-Point(4) = {.5,-.5,0.0,.08};
-Point(5) = {-.5,-.5,0.0,.08};
-Circle(1) = {3,1,2} Plane {0,0,1};
-Line(2) = {3,4};
-Line(3) = {4,5};
-Line(4) = {5,2};
-Line Loop(5) = {3,4,-1,2};
-Plane Surface(6) = {5};
-Extrude Surface {6, {0,0,.5}};
-Coherence;