# HG changeset patch
# User wenzelm
# Date 1545393765 -3600
# Node ID 1ec777ac098254402258d6b188d4dbf2d910e061
# Parent  ce85542368b974af62f4c54a50baa2ffa733c833
tuned;

diff -r ce85542368b9 -r 1ec777ac0982 src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Fri Dec 21 13:00:59 2018 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Fri Dec 21 13:02:45 2018 +0100
@@ -70,6 +70,7 @@
 import Data.Maybe
 import qualified Data.List as List
 import qualified Data.List.Split as Split
+import qualified Isabelle.Symbol as Symbol
 
 
 {- functions -}
@@ -154,7 +155,7 @@
 
 trim_line :: String -> String
 trim_line line =
-  if not (null line) && (last line == '\r' || last line == '\n') then
+  if not (null line) && Symbol.is_ascii_line_terminator (last line) then
     case reverse line of
       '\n' : '\r' : rest -> reverse rest
       '\r' : rest -> reverse rest