<?php
	session_start();

	include("auth.inc.php");

	$_SESSION["alumno"] = $_SESSION["nif"];
	$_SESSION["estudiante"] = "0";
	session_unregister("imprimir");
	session_unregister("matricula");
	session_unregister("accion");

	header("Location: ../inicio.php");
?>