Additional Face in a Hole in the Mesh

[BoergeSt]

box = Box(Point(0,0,0), Point(1,.2,.2))
hole = Box(Point(0,.05,.05),Point(1,.15,.15))
domain = box-hole
mesh = generate_mesh(domain,30)

The above code results in a mesh, which has a face through the hole (see picture below).

A workaround is, to define the hole bigger then the surrounding block:

hole = Box(Point(-1,.05,.05),Point(2,.15,.15))

[Drew Parsons]

I can’t reproduce the problem using git head. I guess it was fixed in one of the patches since reporting.

[Drew Parsons]

Can't reproduce. Presume fixed.