-/*
- interval-set.hh -- implement Interval_set
-
- source file of the GNU LilyPond music typesetter
-
- (c) 2004 Han-Wen Nienhuys <hanwen@xs4all.nl>
-
+/*
+ interval-set.hh -- implement Interval_set
+
+ source file of the GNU LilyPond music typesetter
+
+ (c) 2004 Han-Wen Nienhuys <hanwen@xs4all.nl>
*/
#include "interval-set.hh"
void
Interval_set::remove_interval (Interval rm)
{
- for (int i = 0; i < allowed_regions_.size (); )
+ for (int i = 0; i < allowed_regions_.size ();)
{
Interval s = rm;