<?php

/**
 * This Exception is thrown if the parser doesn't know how to parse
 * the given string.
 *
 * @author Thomas Schwery <thomas.schwery@epfl.ch>
 */
class BadFormatException extends Exception {
    
}
?>