1.1 --- a/isac-java/src/java/isac/gui/mawen/syntax/isabelle/library.scala	Tue Sep 12 09:27:12 2017 +0200
     1.2 +++ b/isac-java/src/java/isac/gui/mawen/syntax/isabelle/library.scala	Tue Sep 12 10:37:39 2017 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  package isac.gui.mawen.syntax.isabelle
     1.6  
     1.7 -
     1.8 +import isac.gui.mawen.syntax.AstException
     1.9  import scala.annotation.tailrec
    1.10  import scala.collection.mutable
    1.11  import scala.util.matching.Regex
    1.12 @@ -244,7 +244,7 @@
    1.13    def string_of_int(i: Int): String = signed_string_of_int(i)
    1.14    def cut_long_ident(str: String): String = str.split('.').last
    1.15    def strs_to_str(strs: List[String]): String = strs match {
    1.16 -    //case Nil => ""   //Appl() contains at least 1 element
    1.17 +    case Nil => throw new AstException("Appl() must contain at least 1 element")
    1.18      case str :: Nil => str
    1.19      case str :: strs => str + " " + strs_to_str(strs)
    1.20    }