# HG changeset patch
# User blanchet
# Date 1411644657 -7200
# Node ID 039b54d9b5c4214f6276973bcbe67e395bccd812
# Parent  c1b489999de9a6882bf8cff73c09e08df06c3855
commented out some tests that require external tools (e.g. ghc)

diff -r c1b489999de9 -r 039b54d9b5c4 src/HOL/Datatype_Examples/Compat.thy
--- a/src/HOL/Datatype_Examples/Compat.thy	Thu Sep 25 13:30:57 2014 +0200
+++ b/src/HOL/Datatype_Examples/Compat.thy	Thu Sep 25 13:30:57 2014 +0200
@@ -40,10 +40,10 @@
 export_code old_len checking SML OCaml? Haskell? Scala
 
 lemma "Old_Nl = Old_Cns x xs"
-  nitpick [expect = genuine]
+  nitpick (* [expect = genuine] *)
   quickcheck [exhaustive, expect = counterexample]
   quickcheck [random, expect = counterexample]
-  quickcheck [narrowing, expect = counterexample]
+  quickcheck [narrowing (* , expect = counterexample *)]
   oops
 
 lemma "old_len xs = size xs"