- if (theBufferList().isLoaded(child_buffer_)
- // additional sanity check: make sure the Buffer really is
- // associated with the file we want.
- && child_buffer_ == theBufferList().getBuffer(included_file))
+ if (theBufferList().isLoaded(child_buffer_)
+ // additional sanity check: make sure the Buffer really is
+ // associated with the file we want.
+ && child_buffer_ == theBufferList().getBuffer(included_file))