Код, как опубликовано, прекрасно работает для меня. Я бы искал другую глупую ошибку - например, если вы скопировали и вставили видеоклипы, у вас может быть более одного клипа на сцене с именем «платформа», и в этом случае ваша ссылка может не соответствовать той, которую вы намерены. Или что-то еще в этом духе.
Чтобы отследить, попробуйте позвонить:
trace( player1.getBounds(stage) );
trace( platform.getBounds(stage) );
, который скажет вам, где Flash считает ограничивающие рамки этих клипов. Я предполагаю, что код вернет что-то, отличное от того, что вы ожидаете, и устранение этого несоответствия покажет, где находится ошибка.