# HG changeset patch
# User oheimb
# Date 941015605 -7200
# Node ID e31a3c0c2c1e0398d9a718a5ee9647869fe456b6
# Parent  4f8cf6552787d73027cdf0f0efc7fef53b900847
now more than 256 generated bound variables possible

diff -r 4f8cf6552787 -r e31a3c0c2c1e src/Pure/net.ML
--- a/src/Pure/net.ML	Wed Oct 27 11:12:10 1999 +0200
+++ b/src/Pure/net.ML	Wed Oct 27 11:13:25 1999 +0200
@@ -39,7 +39,7 @@
 datatype key = CombK | VarK | AtomK of string;
 
 (*Bound variables*)
-fun string_of_bound i = "*B*" ^ chr i;
+fun string_of_bound i = "*B*" ^ chr (i div 256) ^ chr (i mod 256);
 
 (*Keys are preorder lists of symbols -- Combinations, Vars, Atoms.
   Any term whose head is a Var is regarded entirely as a Var.