src/HOL/TPTP/TPTP_Interpret_Test.thy
changeset 58412 f65f11f4854c
parent 56303 4cc3f4db3447
child 62390 842917225d56
     1.1 --- a/src/HOL/TPTP/TPTP_Interpret_Test.thy	Sun Sep 21 19:53:50 2014 +0200
     1.2 +++ b/src/HOL/TPTP/TPTP_Interpret_Test.thy	Sun Sep 21 20:14:04 2014 +0200
     1.3 @@ -55,7 +55,7 @@
     1.4    fun interpretation_tests timeout ctxt probs =
     1.5      List.app
     1.6       (interpretation_test timeout ctxt)
     1.7 -     (List.map situate probs)
     1.8 +     (map situate probs)
     1.9  *}
    1.10  
    1.11  ML {*