repaired 'if' logic
authorblanchet
Thu, 13 Mar 2014 13:18:13 +0100
changeset 56086 fb160b829a88
parent 56085 3d11892ea537
child 56087 2cd8fcb4804d
repaired 'if' logic
src/HOL/Tools/SMT2/smt2_solver.ML
--- a/src/HOL/Tools/SMT2/smt2_solver.ML	Thu Mar 13 13:18:13 2014 +0100
+++ b/src/HOL/Tools/SMT2/smt2_solver.ML	Thu Mar 13 13:18:13 2014 +0100
@@ -278,7 +278,7 @@
 
     val xthms = map (apsnd snd) xwthms
 
-    val filter_thms = if supports_filter ctxt then K xthms else map_filter (try (nth xthms))
+    val filter_thms = if supports_filter ctxt then map_filter (try (nth xthms)) else K xthms
   in
     map snd xwthms
     |> map_index I