src/HOL/Tools/Predicate_Compile/core_data.ML

--- a/src/HOL/Tools/Predicate_Compile/core_data.ML	Wed Oct 29 15:07:53 2014 +0100
+++ b/src/HOL/Tools/Predicate_Compile/core_data.ML	Wed Oct 29 15:15:17 2014 +0100
@@ -27,7 +27,7 @@
     needs_random : mode list
   };
 
-  structure PredData : THEORY_DATA
+  structure PredData : THEORY_DATA  (* FIXME keep data private *)
   
   (* queries *)
   val defined_functions : compilation -> Proof.context -> string -> bool