src/Pure/net.ML
changeset 7943 e31a3c0c2c1e
parent 6539 2e7d2fba9f6c
child 12319 cb3ea5750c3b
--- 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.