src/HOL/SMT_Examples/ROOT.ML

--- a/src/HOL/SMT_Examples/ROOT.ML	Wed May 12 23:54:04 2010 +0200
+++ b/src/HOL/SMT_Examples/ROOT.ML	Wed May 12 23:54:06 2010 +0200
@@ -1,1 +1,2 @@
+quick_and_dirty := true;
 use_thys ["SMT_Tests", "SMT_Examples", "SMT_Word_Examples"];