Give ObstacleRestrictor an empty virtual destructor See merge request !37 (cherry picked from commit 32c94c10) 1a872912 Give ObstacleRestrictor an empty virtual destructor