src/HOL/Tools/Nitpick/kodkod_sat.ML

                          "/"
                    in
                      [if null markers then "External" else "ExternalV2",
                       dir ^ dir_sep ^ exec, base ^ ".cnf",
                       if dev = ToFile then out_file else ""] @ markers @
-                      (if dev = ToFile then [out_file] else []) @ args
+                     (if dev = ToFile then [out_file] else []) @ args
                    end)
 fun dynamic_entry_for_info incremental (name, Internal (Java, mode, ss)) =
     if incremental andalso mode = Batch then NONE else SOME (name, K ss)
   | dynamic_entry_for_info incremental (name, Internal (JNI, mode, ss)) =
     if incremental andalso mode = Batch then