1.1 --- a/src/Pure/consts.ML	Sat Oct 20 18:54:28 2007 +0200
     1.2 +++ b/src/Pure/consts.ML	Sat Oct 20 18:54:29 2007 +0200
     1.3 @@ -267,7 +267,7 @@
     1.4    let
     1.5      val cert_term = certify pp tsig false consts;
     1.6      val expand_term = certify pp tsig true consts;
     1.7 -    val force_expand = mode = Syntax.internalM;
     1.8 +    val force_expand = mode = PrintMode.internal;
     1.9  
    1.10      val rhs = raw_rhs
    1.11        |> Term.map_types (Type.cert_typ tsig)