// PunctToken.java

/**
 * The PunctToken class represents punctuation tokens.
 *
 * @author Fredrik Kilander for ID1006
 */
public class PunctToken extends Token {

  /**
   * Creates a new PunctToken initialized to the first character.
   *
   * @param c The first character in the new token.
   */
  public PunctToken (char c) {
    super (c);
  }

} // class PunctToken