author | haftmann |
Tue, 09 Jan 2007 08:31:54 +0100 | |
changeset 22038 | 436ae7418ae2 |
parent 22037 | fbf0a12d053f |
child 22039 | 9bc8058250a7 |
--- a/src/Pure/Tools/nbe_eval.ML Tue Jan 09 08:31:52 2007 +0100 +++ b/src/Pure/Tools/nbe_eval.ML Tue Jan 09 08:31:54 2007 +0100 @@ -117,7 +117,7 @@ | prep_term thy (s $ t) = prep_term thy s $ prep_term thy t | prep_term thy (Abs (raw_v, ty, raw_t)) = let - val (v, t) = Syntax.variant_abs (CodegenNames.purify_var raw_v, ty, raw_t); + val (v, t) = Syntax.variant_abs (raw_v, ty, raw_t); in Abs (v, ty, prep_term thy t) end;