1 files changed, 5 insertions, 4 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux
index f937d5bdb..f50788c58 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux
@@ -8,10 +8,11 @@
      format]
     [collection
      ["." list]]]
-   [compiler
-    [default
-     ["." phase
-      [synthesis (#+ Synthesis)]]]]]
+   [platform
+    [compiler
+     [default
+      ["." phase
+       [synthesis (#+ Synthesis)]]]]]]
   [luxc
    [lang
     [host