src/Pure/sign.ML
changeset 2138 056dead45ae8
parent 2095 e8544d73a7aa
child 2144 ddb8499c772b
     1.1 --- a/src/Pure/sign.ML	Wed Oct 30 11:17:54 1996 +0100
     1.2 +++ b/src/Pure/sign.ML	Wed Oct 30 11:19:09 1996 +0100
     1.3 @@ -184,13 +184,13 @@
     1.4  (** pretty printing of terms and types **)
     1.5  
     1.6  fun pretty_term (Sg {syn, stamps, ...}) =
     1.7 -  let val curried = "CPure" mem (map ! stamps);
     1.8 +  let val curried = "CPure" mem_string (map ! stamps);
     1.9    in Syntax.pretty_term curried syn end;
    1.10  
    1.11  fun pretty_typ (Sg {syn, ...}) = Syntax.pretty_typ syn;
    1.12  
    1.13  fun string_of_term (Sg {syn, stamps, ...}) =
    1.14 -  let val curried = "CPure" mem (map ! stamps);
    1.15 +  let val curried = "CPure" mem_string (map ! stamps);
    1.16    in Syntax.string_of_term curried syn end;
    1.17  
    1.18  fun string_of_typ (Sg {syn, ...}) = Syntax.string_of_typ syn;