1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 8343cbb67..00de5e126 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -1,32 +1,32 @@
 (.module:
-  [lux {"-" [case]}
-   ["_" test {"+" [Test]}]
+  [lux {"-" case}
+   ["_" test {"+" Test}]
    [abstract
-    [monad {"+" [do]}]]
+    [monad {"+" do}]]
    [control
-    [pipe {"+" [case>]}]
-    ["[0]" try {"+" [Try]}]]
+    [pipe {"+" case>}]
+    ["[0]" try {"+" Try}]]
    [data
     ["[0]" text ("[1]#[0]" equivalence)
-     ["%" format {"+" [format]}]]
+     ["%" format {"+" format}]]
     [number
      ["n" nat]
      ["f" frac]]
     [collection
      ["[0]" list ("[1]#[0]" mix)]]]
    [math
-    ["r" random {"+" [Random]}]]
+    ["r" random {"+" Random}]]
    [tool
     [compiler
      ["[0]" reference]
      ["[0]" analysis]
-     ["[0]" synthesis {"+" [Path Synthesis]}]
+     ["[0]" synthesis {"+" Path Synthesis}]
      ["[0]" phase
       ["[1]/[0]" synthesis
        ["[0]" case]]
       ["[0]" extension/synthesis]]]]]
   [///
-   [common {"+" [Runner]}]])
+   [common {"+" Runner}]])
 
 (def: limit Nat 10)