improved names
authorhaftmann
Tue, 09 Jan 2007 08:31:54 +0100
changeset 22038 436ae7418ae2
parent 22037 fbf0a12d053f
child 22039 9bc8058250a7
improved names
src/Pure/Tools/nbe_eval.ML
--- 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;