src/HOL/Mutabelle/mutabelle_extra.ML
changeset 43244 db041e88a805
parent 43111 61faa204c810
child 43277 1fd31f859fc7
--- a/src/HOL/Mutabelle/mutabelle_extra.ML	Tue Jun 07 11:24:54 2011 +0200
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML	Tue Jun 07 14:06:12 2011 +0200
@@ -510,7 +510,8 @@
     "QC options = " ^
       (*"quickcheck_generator: " ^ quickcheck_generator ^ ";*)
       "size: " ^ string_of_int (Config.get ctxt Quickcheck.size) ^
-      "; iterations: " ^ string_of_int (Config.get ctxt Quickcheck.iterations) ^ "\n");
+      "; iterations: " ^ string_of_int (Config.get ctxt Quickcheck.iterations) ^ "\n" ^
+    "Isabelle environment = ISABELLE_GHC: " ^ getenv "ISABELLE_GHC" ^ "\n");
     map (File.append path o gen_string_for_entry o mutate_theorem gen_create_entry thy mtds) thms;
     ()
   end