src/Pure/consts.ML
changeset 19576 179ad0076f75
parent 19502 369cde91963d
child 19657 25eaa3660123
     1.1 --- a/src/Pure/consts.ML	Fri May 05 21:59:43 2006 +0200
     1.2 +++ b/src/Pure/consts.ML	Fri May 05 21:59:44 2006 +0200
     1.3 @@ -113,8 +113,8 @@
     1.4  
     1.5  fun extern_early consts c =
     1.6    (case try (the_const consts) c of
     1.7 -    SOME (_, true) => extern consts c
     1.8 -  | _ => Syntax.constN ^ c);
     1.9 +    SOME (_, false) => Syntax.constN ^ c
    1.10 +  | _ => extern consts c);
    1.11  
    1.12  
    1.13  (* read_const *)