Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
now more than 256 generated bound variables possible
authoroheimb
Wed, 27 Oct 1999 11:13:25 +0200
changeset 7943 e31a3c0c2c1e
parent 7942 4f8cf6552787
child 7944 cc1930ad1a88
now more than 256 generated bound variables possible
src/Pure/net.ML file | annotate | diff | comparison | revisions 
--- 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.
isabelle