# HG changeset patch
# User urbanc
# Date 1328805258 0
# Node ID a5dd2c966cbe1b7986ba5916ff045588b1a4ccd7
# Parent  64c9f151acf55ed014d838838a2a834c54830041
attempt to fix problem by Xingyuan

diff -r 64c9f151acf5 -r a5dd2c966cbe prio/PrioG.thy
--- a/prio/PrioG.thy	Thu Feb 09 15:00:19 2012 +0000
+++ b/prio/PrioG.thy	Thu Feb 09 16:34:18 2012 +0000
@@ -770,6 +770,7 @@
 qed
 
 lemma step_depend_v:
+fixes th::thread
 assumes vt:
   "vt step (V th cs#s)"
 shows "