changeset 41491 | a2ad5b824051 |
parent 41490 | 0f1e411a1448 |
child 41521 | c704c437ec74 |
--- a/src/HOL/Import/shuffler.ML Mon Jan 10 15:30:17 2011 +0100 +++ b/src/HOL/Import/shuffler.ML Mon Jan 10 15:45:46 2011 +0100 @@ -465,7 +465,7 @@ end | F (Abs(x,xT,t),idx) = let - val x' = "x" ^ Int.toString idx + val x' = "x" ^ string_of_int idx val (t',idx') = F (t,idx+1) in (Abs(x',xT,t'),idx')