--- a/src/Pure/ML/ml_antiquote.ML Wed Jul 13 20:13:27 2011 +0200
+++ b/src/Pure/ML/ml_antiquote.ML Wed Jul 13 20:36:18 2011 +0200
@@ -161,7 +161,7 @@
val _ = Context.>> (Context.map_theory
(inline (Binding.name "const_name")
- (const_name (fn (consts, c) => (Consts.the_type consts c; c))) #>
+ (const_name (fn (consts, c) => (Consts.the_const consts c; c))) #>
inline (Binding.name "const_abbrev")
(const_name (fn (consts, c) => (Consts.the_abbreviation consts c; c))) #>
inline (Binding.name "const_syntax")