src/Provers/trancl.ML
changeset 43278 1fbdcebb364b
parent 42364 8c674b3b8e44
child 46695 b779c3f21f05
--- a/src/Provers/trancl.ML	Wed Jun 08 15:39:55 2011 +0200
+++ b/src/Provers/trancl.ML	Wed Jun 08 15:56:57 2011 +0200
@@ -567,6 +567,6 @@
       val thms = map (prove thy rel' prems) prfs
     in rtac (prove thy rel' thms prf) 1 end) ctxt n st
  end
- handle Cannot => Seq.empty | Subscript => Seq.empty);
+ handle Cannot => Seq.empty | General.Subscript => Seq.empty);
 
 end;