# HG changeset patch
# User blanchet
# Date 1386558210 -3600
# Node ID 34496126a60c701fed9244f7340fc3aa0b9f0686
# Parent  a9efdf97072068f20a0e5f794a1e32f2521c39f6
compile

diff -r a9efdf970720 -r 34496126a60c src/HOL/Tools/Nitpick/nitpick_util.ML
--- a/src/HOL/Tools/Nitpick/nitpick_util.ML	Mon Dec 09 04:03:30 2013 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_util.ML	Mon Dec 09 04:03:30 2013 +0100
@@ -173,7 +173,8 @@
                                "indices unordered or out of range")
   in aux 0 js xs end
 
-fun n_fold_cartesian_product xss = Sledgehammer_Util.n_fold_cartesian_product
+fun n_fold_cartesian_product xss =
+  Sledgehammer_Util.n_fold_cartesian_product xss
 
 fun all_distinct_unordered_pairs_of [] = []
   | all_distinct_unordered_pairs_of (x :: xs) =