# HG changeset patch
# User haftmann
# Date 1163606748 -3600
# Node ID 10757dcdfe8031fcc8ab0447802f2122a9d2d388
# Parent  9d8344cf029f48dcffbd5376fdc3e7ca9071ee03
dropping accidental self-imports

diff -r 9d8344cf029f -r 10757dcdfe80 src/Pure/Tools/codegen_serializer.ML
--- a/src/Pure/Tools/codegen_serializer.ML	Wed Nov 15 17:05:47 2006 +0100
+++ b/src/Pure/Tools/codegen_serializer.ML	Wed Nov 15 17:05:48 2006 +0100
@@ -1095,7 +1095,8 @@
     fun seri_module (modlname, (modlname', (imports, (defs, _)))) =
       Pretty.chunks (
         str ("module " ^ modlname' ^ " where")
-        :: map str (distinct (op =) (map (prefix "import qualified " o deresolv_module) imports)) @ (
+        :: map (str o prefix "import qualified ")
+          (imports |> map deresolv_module |> distinct (op =) |> remove (op =) modlname') @ (
         (case module_prolog modlname
          of SOME prolog => [str "", prolog, str ""]
           | NONE => [str ""])