[MLton-commit] r6095

[Vesa Karvonen]

Removed unnecessary structure binding.

----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/with/close-pretty-with-extra.sml

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/generic/unstable/with/close-pretty-with-extra.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/with/close-pretty-with-extra.sml	2007-10-26 11:54:24 UTC (rev 6094)
+++ mltonlib/trunk/com/ssh/generic/unstable/with/close-pretty-with-extra.sml	2007-10-26 11:58:57 UTC (rev 6095)
@@ -5,8 +5,6 @@
  *)
 
 structure Generic = struct
-   structure Rep = ClosePrettyWithExtra
-     (open Generic
-      structure PrettyRep = Open.Rep)
+   structure Rep = ClosePrettyWithExtra (Generic)
    open Generic Rep
 end