Hola anita
es raro raro, deberia funcionar..
prueba a recoger el tipo del archivo en una variable antes de compararlo:
Código PHP:
$tipo = $_FILES['archivo']['type'];
if($tipo == "application/pdf")
// sino te funciona, prueba con esto
$archivo = $_FILES['archivo']['name'];
//-- pathinfo nos proporciona informacion sobre el archivo
//-- Extension del archivo
$path_parts = pathinfo($archivo);
$ext = $path_parts["extension"];
// $ext, contiene la extension del archivo, " pdf "
if($ext == "pdf")
salud2