anchor.diff:                let footer = "footer: " + toStringWithDefault "None" targetWithHeaders.Footer
                 let acc = ("[" + name + ", " + layout + ", " + header + ", " + footer + "]") :: acc
                 processTargets tl acc
  -          | :? Targets.TargetWithLayout as targetWithLayout -> 
  +          | :? Targets.TargetWithLayout as targetWithLayout ->
                 let name = "name: " + target.Name
                 let layout = "layout: " + toStringWithDefault "None" targetWithLayout.Layout
                 let acc = ("[" + name + ", " + layout + "]") :: acc
                 processTargets tl acc
  -          | _ -> 
  +          | _ ->
                 let name = target.Name
                 let acc = ("[" + name + "]") :: acc
                 processTargets tl acc
  
positive.code:               let lineEnding = "lineEnding: " + fileTarget.LineEnding.ToString()
                let acc = ("[" + name + ", " + layout + ", " + header + ", " + footer + ", " + autoFlush + ", " + createDirs + ", " + encoding + ", " + filename + ", " + keepFileOpen + ", " + lineEnding + "]") :: acc
                processTargets tl acc
            | :? Targets.ConsoleTarget as consoleTarget -> 
                let name = "name: " + target.Name
                let layout = "layout: " + toStringWithDefault "None" consoleTarget.Layout
                let header = "header: " + toStringWithDefault "None" consoleTarget.Header
  
negative.code: //
  [<AutoOpen>]
  module Logger =
      open NLog
  
      /// The standard logger for NHol.
      let logger = LogManager.GetLogger "file"
  
  