--- a/src/HOL/UNITY/Guar.thy Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOL/UNITY/Guar.thy Sat Dec 01 18:52:32 2001 +0100
@@ -20,7 +20,7 @@
Guar = Comp +
-instance program :: (term) order
+instance program :: (type) order
(component_refl, component_trans, component_antisym,
program_less_le)