Faltou fechar os Parênteses () e retirar a tag */ de fechamento de comentários
<?php
session_start();
if(isset($_SESSION['user'])){
echo "<script>document.location.href='../areaprivada.html';</script>";
} else {
echo "<script>document.location.href='login.php';</script>";
}