atDiffFP :: FilePath -> FilePath -> IO ()
atDiffFP fp1 fp2 =
    do at1 <- atermFromFile fp1
       at2 <- atermFromFile fp2
       let (at, diffs) = atDiff at1 at2
       unless (null diffs) $ do
           putStrLn (writeATerm (toATermTable at))
           putStrLn (writeATerm (toATermTable (AList diffs [])))
atDiffFP :: FilePath -> FilePath -> IO ()
atDiffFP fp1 fp2 =
    do at1 <- atermFromFile fp1
       at2 <- atermFromFile fp2
       let (at, diffs) = atDiff at1 at2
       unless (null diffs) $ do
           putStrLn (writeATerm (toATermTable at))
           putStrLn (writeATerm (toATermTable (AList diffs [])))
atDiffFP fp1 fp2 =
    do at1 <- atermFromFile fp1
       at2 <- atermFromFile fp2
       let (at, diffs) = atDiff at1 at2
       unless (null diffs) $ do
           putStrLn (writeATerm (toATermTable at))
           putStrLn (writeATerm (toATermTable (AList diffs [])))