# HG changeset patch
# User haftmann
# Date 1524647066 0
# Node ID 27ba50c793286d5b3aa8ac157679fc0224e5113b
# Parent  ad4b8b6892c3f460cd9e6f73a5211fd6852e1f2f
more correct error message

diff -r ad4b8b6892c3 -r 27ba50c79328 src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Wed Apr 25 09:04:25 2018 +0000
+++ b/src/Tools/Code/code_scala.ML	Wed Apr 25 09:04:26 2018 +0000
@@ -36,7 +36,7 @@
           if i < 32 orelse i > 126
           then chr i
           else if i >= 128
-          then error "non-ASCII byte in Haskell string literal"
+          then error "non-ASCII byte in Scala string literal"
           else c
         end
   in quote o translate_string char end;