src/Pure/context.ML
changeset 23595 7ca68a2c8575
parent 23355 d2c033fd4514
child 23944 2ea068548a83
     1.1 --- a/src/Pure/context.ML	Thu Jul 05 20:01:31 2007 +0200
     1.2 +++ b/src/Pure/context.ML	Thu Jul 05 20:01:32 2007 +0200
     1.3 @@ -475,8 +475,8 @@
     1.4  fun mapping f g = cases (Theory o f) (Proof o g);
     1.5  fun mapping_result f g = cases (apsnd Theory o f) (apsnd Proof o g);
     1.6  
     1.7 -val the_theory = cases I (fn _ => raise Fail "Ill-typed context: theory expected");
     1.8 -val the_proof = cases (fn _ => raise Fail "Ill-typed context: proof expected") I;
     1.9 +val the_theory = cases I (fn _ => error "Ill-typed context: theory expected");
    1.10 +val the_proof = cases (fn _ => error "Ill-typed context: proof expected") I;
    1.11  
    1.12  fun map_theory f = Theory o f o the_theory;
    1.13  fun map_proof f = Proof o f o the_proof;