src/Pure/sign.ML
changeset 39507 839873937ddd
parent 39290 44e4d8dfd6bf
child 40959 49765c1104d4
     1.1 --- a/src/Pure/sign.ML	Fri Sep 17 17:31:20 2010 +0200
     1.2 +++ b/src/Pure/sign.ML	Fri Sep 17 20:18:27 2010 +0200
     1.3 @@ -426,7 +426,7 @@
     1.4    let
     1.5      val pos = Binding.pos_of b;
     1.6      val ([const as Const (c, _)], thy') = gen_add_consts (K I) [(b, T, mx)] thy;
     1.7 -    val _ = Position.report (Markup.const_decl c) pos;
     1.8 +    val _ = Position.report pos (Markup.const_decl c);
     1.9    in (const, thy') end;
    1.10  
    1.11  end;