src/Pure/net.ML
changeset 7943 e31a3c0c2c1e
parent 6539 2e7d2fba9f6c
child 12319 cb3ea5750c3b
     1.1 --- a/src/Pure/net.ML	Wed Oct 27 11:12:10 1999 +0200
     1.2 +++ b/src/Pure/net.ML	Wed Oct 27 11:13:25 1999 +0200
     1.3 @@ -39,7 +39,7 @@
     1.4  datatype key = CombK | VarK | AtomK of string;
     1.5  
     1.6  (*Bound variables*)
     1.7 -fun string_of_bound i = "*B*" ^ chr i;
     1.8 +fun string_of_bound i = "*B*" ^ chr (i div 256) ^ chr (i mod 256);
     1.9  
    1.10  (*Keys are preorder lists of symbols -- Combinations, Vars, Atoms.
    1.11    Any term whose head is a Var is regarded entirely as a Var.