src/Pure/System/main.scala
changeset 48192 07a32140ce0d
parent 47867 dd9cbe708e6b
child 48275 31daac3a85ea
equal deleted inserted replaced
48191:c1def7433a72 48192:07a32140ce0d
    23 
    23 
    24     if (rc != 0)
    24     if (rc != 0)
    25       Library.dialog(null, "Isabelle", "Isabelle output",
    25       Library.dialog(null, "Isabelle", "Isabelle output",
    26         Library.scrollable_text(out + "\nReturn code: " + rc))
    26         Library.scrollable_text(out + "\nReturn code: " + rc))
    27 
    27 
    28     System.exit(rc)
    28     sys.exit(rc)
    29   }
    29   }
    30 }
    30 }
    31 
    31