src/HOL/HOL.thy
changeset 48073 1b609a7837ef
parent 47657 1ba213363d0c
child 48195 3127f9ce52fb
     1.1 --- a/src/HOL/HOL.thy	Tue Jun 05 07:05:56 2012 +0200
     1.2 +++ b/src/HOL/HOL.thy	Tue Jun 05 07:10:51 2012 +0200
     1.3 @@ -1903,7 +1903,7 @@
     1.4    (SML "!(raise/ Fail/ \"undefined\")")
     1.5    (OCaml "failwith/ \"undefined\"")
     1.6    (Haskell "error/ \"undefined\"")
     1.7 -  (Scala "!error(\"undefined\")")
     1.8 +  (Scala "!sys.error(\"undefined\")")
     1.9  
    1.10  subsubsection {* Evaluation and normalization by evaluation *}
    1.11