Index: src/Common/ScopedMap.h
===================================================================
--- src/Common/ScopedMap.h	(revision 97d246da445a8795c4b899478cd650136325c2ef)
+++ src/Common/ScopedMap.h	(revision eed5e4836672e941a1bbd849e2b596cbeadefabc)
@@ -230,4 +230,14 @@
 	}
 
+	/// Finds the given key in the provided scope; returns end() for none such
+	iterator findAt( size_type scope, const Key& key ) {
+		typename Scope::iterator val = scopes[scope].find( key );
+		if ( val != scopes[scope].end() ) return iterator( scopes, val, scope );
+		return end();
+	}
+	const_iterator findAt( size_type scope, const Key& key ) const {
+		return const_iterator( const_cast< ScopedMap< Key, Value >* >(this)->findAt( scope, key ) );
+	}
+
 	/// Finds the given key in the outermost scope inside the given scope where it occurs
 	iterator findNext( const_iterator &it, const Key &key ) {