src/Generic/theories/SentenceTheoryBeam.cpp
// Check for unused subtheories, and throw them away.

Check for unused subtheories, and throw them away.
Check for unused subtheories and throw them away .
BOOST_FOREACH(SentenceSubtheory *subtheory, subtheories) {
		if (!subtheory->hasReference()) {
			sentenceElem.reportLoadWarning(
				"Discarding unused sentence subtheory");
			delete subtheory;
		}
	}
BOOST_FOREACH ( SentenceSubtheory * subtheory , subtheories ) { if ( ! subtheory -> hasReference ( ) ) { sentenceElem . reportLoadWarning ( " " ) ; delete subtheory ; } }
Check for unused subtheories, and throw them away.
Check for unused subtheories and throw them away .