now more than 256 generated bound variables possible
authoroheimb
Wed Oct 27 11:13:25 1999 +0200 (1999-10-27)
changeset 7943e31a3c0c2c1e
parent 7942 4f8cf6552787
child 7944 cc1930ad1a88
now more than 256 generated bound variables possible
src/Pure/net.ML
     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.