src/HOL/HOL.thy

--- a/src/HOL/HOL.thy	Tue Jun 05 07:05:56 2012 +0200
+++ b/src/HOL/HOL.thy	Tue Jun 05 07:10:51 2012 +0200
@@ -1903,7 +1903,7 @@
   (SML "!(raise/ Fail/ \"undefined\")")
   (OCaml "failwith/ \"undefined\"")
   (Haskell "error/ \"undefined\"")
-  (Scala "!error(\"undefined\")")
+  (Scala "!sys.error(\"undefined\")")
 
 subsubsection {* Evaluation and normalization by evaluation *}