# HG changeset patch
# User wenzelm
# Date 1167312641 -3600
# Node ID f241e9cd26ca4d79b875c553dde476c11225e8ee
# Parent  f1c0964410237595fe27398b1a7e375a7a46a7c2
tuned;

diff -r f1c096441023 -r f241e9cd26ca src/Pure/Isar/outer_lex.ML
--- a/src/Pure/Isar/outer_lex.ML	Thu Dec 28 14:30:40 2006 +0100
+++ b/src/Pure/Isar/outer_lex.ML	Thu Dec 28 14:30:41 2006 +0100
@@ -62,6 +62,8 @@
 
 datatype token = Token of Position.T * (token_kind * string);
 
+val eq_token = op = : token * token -> bool;
+
 val str_of_kind =
  fn Command => "command"
   | Keyword => "keyword"
@@ -81,7 +83,6 @@
   | Malformed => "bad input"
   | EOF => "end-of-file";
 
-val eq_token = op = : token * token -> bool;
 
 (* control tokens *)