--- a/src/HOLCF/Tools/cont_proc.ML Wed Apr 29 21:10:46 2009 +0200
+++ b/src/HOLCF/Tools/cont_proc.ML Wed Apr 29 13:36:29 2009 -0700
@@ -12,7 +12,7 @@
val setup: theory -> theory
end;
-structure ContProc: CONT_PROC =
+structure ContProc :> CONT_PROC =
struct
(** theory context references **)