--- a/src/HOL/UNITY/Comp/PriorityAux.thy Wed Jan 29 17:35:11 2003 +0100
+++ b/src/HOL/UNITY/Comp/PriorityAux.thy Thu Jan 30 10:35:56 2003 +0100
@@ -6,7 +6,7 @@
Auxiliary definitions needed in Priority.thy
*)
-PriorityAux = Main +
+PriorityAux = UNITY_Main +
types vertex
arities vertex :: type