Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This quiets the following compiler warning: warning: destructor called on non-final 'Interval' that has virtual functions but non-virtual destructor
- Loading branch information