--- a/src/HOL/UNITY/Simple/Reach.thy Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOL/UNITY/Simple/Reach.thy Sat Dec 01 18:52:32 2001 +0100
@@ -11,7 +11,7 @@
types vertex
state = "vertex=>bool"
-arities vertex :: term
+arities vertex :: type
consts
init :: "vertex"