# HG changeset patch
# User haftmann
# Date 1168327914 -3600
# Node ID 436ae7418ae200670cce0ffe3a3eb70fd8b219f0
# Parent  fbf0a12d053f39643077c3222671d619c709281d
improved names

diff -r fbf0a12d053f -r 436ae7418ae2 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;