src/HOL/TPTP/TPTP_Parser/tptp_to_dot.ML
changeset 47426 26c1a97c7784
parent 47412 aac1aa93f1ea
child 53389 74cee48bccd6
     1.1 --- a/src/HOL/TPTP/TPTP_Parser/tptp_to_dot.ML	Wed Apr 11 15:02:48 2012 +0200
     1.2 +++ b/src/HOL/TPTP/TPTP_Parser/tptp_to_dot.ML	Wed Apr 11 20:42:28 2012 +0200
     1.3 @@ -83,7 +83,7 @@
     1.4     | SOME (rule, ids) =>
     1.5         map (dot_arc reverse_arrows
     1.6               (n, if with_label then SOME rule else NONE)) ids
     1.7 -       |> String.concat)
     1.8 +       |> implode)
     1.9   else ""
    1.10  
    1.11  (*FIXME add opts to label arcs etc*)
    1.12 @@ -100,7 +100,7 @@
    1.13    in
    1.14      TPTP_Parser.parse_file input_file
    1.15      |> map (tptp_dot_node false true)
    1.16 -    |> String.concat
    1.17 +    |> implode
    1.18      |> (fn str => "digraph ProofGraph {\n" ^ defaults ^ str ^ "}")
    1.19      |> File.write (Path.explode output_file)
    1.20    end