/* __ *\ ** ________ ___ / / ___ Scala API ** ** / __/ __// _ | / / / _ | (c) 2002-2009, LAMP/EPFL ** ** __\ \/ /__/ __ |/ /__/ __ | ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** \* */ // $Id: FatalError.scala 18387 2009-07-24 15:28:37Z odersky $ package scala.xml package parsing; case class FatalError(msg:String) extends java.lang.RuntimeException(msg);