is_blank: fixed space2;
authorwenzelm
Tue Jun 03 16:38:58 1997 +0200 (1997-06-03)
changeset 3393e31ac367387e
parent 3392 d0d86b96aa96
child 3394 fa31c7dca468
is_blank: fixed space2;
src/Pure/library.ML
     1.1 --- a/src/Pure/library.ML	Tue Jun 03 12:03:38 1997 +0200
     1.2 +++ b/src/Pure/library.ML	Tue Jun 03 16:38:58 1997 +0200
     1.3 @@ -391,7 +391,7 @@
     1.4  
     1.5  (*white space: blanks, tabs, newlines, formfeeds*)
     1.6  val is_blank : string -> bool =
     1.7 -  fn " " => true | "\t" => true | "\n" => true | "\^L" => true | "160" => true
     1.8 +  fn " " => true | "\t" => true | "\n" => true | "\^L" => true | "\160" => true
     1.9      | _ => false;
    1.10  
    1.11  val is_letdig = is_quasi_letter orf is_digit;