diff -r f39f67982854 -r 91713a1915ee src/HOL/UNITY/Comp/Priority.thy
--- a/src/HOL/UNITY/Comp/Priority.thy	Sat Feb 08 14:46:22 2003 +0100
+++ b/src/HOL/UNITY/Comp/Priority.thy	Sat Feb 08 16:05:33 2003 +0100
@@ -35,7 +35,7 @@
 
   (* All components start with the same initial state *)
   Component :: "vertex=>state program"
-  "Component i == mk_program({init}, {act i}, UNIV)"
+  "Component i == mk_total_program({init}, {act i}, UNIV)"
 
   (* Abbreviations *)
   Highest :: "vertex=>state set"