src/Pure/package.scala

proper priority for error over warning, which got mixed up in 0546e036d1c0 and 4df2727a0b5f;

/*  Title:      Pure/package.scala
    Module:     PIDE
    Author:     Makarius

Toplevel isabelle package.
*/

package object isabelle extends isabelle.Basic_Library
{
}