diff -r a89f786b301a -r abd2b4386a63 src/Pure/goal.ML
--- a/src/Pure/goal.ML	Wed Nov 29 04:11:11 2006 +0100
+++ b/src/Pure/goal.ML	Wed Nov 29 04:11:12 2006 +0100
@@ -48,7 +48,7 @@
   --- (protect)
   #C
 *)
-fun protect th = th COMP Drule.incr_indexes th Drule.protectI;
+fun protect th = th COMP_INCR Drule.protectI;
 
 (*
   A ==> ... ==> #C