<?php

/**
 * Exception indicating user not found by authsource.
 * 
 * @author Thomas Graff <thomas.graff@uninett.no>
 * @package simpleSAMLphp_base
 * @version $Id$
 *
 */
class SimpleSAML_Error_UserNotFound extends SimpleSAML_Error_User{
	
}

?>