# HG changeset patch
# User wenzelm
# Date 1342446921 -7200
# Node ID 9cfd3e7ad5c8a0f51d19171ec5bd490c98ddc031
# Parent  59bc6374c1218a7768ac0cd2026550859cbcd3ee
comment;

diff -r 59bc6374c121 -r 9cfd3e7ad5c8 src/HOL/Tools/Quickcheck/narrowing_generators.ML
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 16 11:26:16 2012 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 16 15:55:21 2012 +0200
@@ -9,7 +9,7 @@
   val allow_existentials : bool Config.T
   val finite_functions : bool Config.T
   val overlord : bool Config.T
-  val ghc_options : string Config.T
+  val ghc_options : string Config.T  (* FIXME prefer settings, i.e. getenv (!?) *)
   val active : bool Config.T
   datatype counterexample = Universal_Counterexample of (term * counterexample)
     | Existential_Counterexample of (term * counterexample) list