src/HOL/HOLCF/Cpodef.thy

--- a/src/HOL/HOLCF/Cpodef.thy	Thu Mar 14 16:35:58 2019 +0100
+++ b/src/HOL/HOLCF/Cpodef.thy	Thu Mar 14 16:55:06 2019 +0100
@@ -6,7 +6,7 @@
 
 theory Cpodef
   imports Adm
-  keywords "pcpodef" "cpodef" :: thy_goal
+  keywords "pcpodef" "cpodef" :: thy_goal_defn
 begin
 
 subsection \<open>Proving a subtype is a partial order\<close>