# HG changeset patch
# User bulwahn
# Date 1307448372 -7200
# Node ID db041e88a805e7862e9e5b17cdca0d249a4eb523
# Parent  a59b126c72efacac0b5a030b22a52dc257866611
printing environment in mutabelle's log

diff -r a59b126c72ef -r db041e88a805 src/HOL/Mutabelle/mutabelle_extra.ML
--- 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