Bug when cut out a roof from a wall?

[Renato Rebelo]

Hi Arcol,
Make the height of the wall to be just a little higher than the top of the roof.
Select both roof and wall in this order and press the blue minus button (Remove component) in Arch workbench.

Hello,
I think I discovered a bug.
When we have a wall and cut it with the roof, but after move the base of the wall, the wall is not cut by the roof as it should.
Attached file to better understand

corte parede.png (29.27 KiB) Viewed 1213 times

teste.FCStd

(124.69 KiB) Downloaded 51 times

OS: Windows 10
Word size of OS: 64-bit
Word size of FreeCAD: 64-bit
Version: 0.17.9284 (Git)
Build type: Release
Branch: master
Hash: ae077f192c34e1981c543810e0df1583ba073e38
Python version: 2.7.8
Qt version: 4.8.7
Coin version: 4.0.0a
OCC version: 7.0.0

[yorik]

What if you force-recompute the wall?

[Renato Rebelo]

What if you force-recompute the wall?

does nothing...