Made the "#" character great again!

1 files changed, 4 insertions, 4 deletions

diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index e65503ee9..9cc73f6c8 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -72,17 +72,17 @@
     "@")
   (def: (on_download uri state)
     (case (dictionary.value uri state)
-      {#.Some content}
+      {.#Some content}
       (case (binary.size content)
         0 (exception.except ..not_found [uri])
-        _ {#try.Success [state content]})
+        _ {try.#Success [state content]})
       
-      #.None
+      {.#None}
       (exception.except ..not_found [uri])))
   (def: (on_upload uri content state)
     (if (dictionary.key? state uri)
       (exception.except ..cannot_upload [uri])
-      {#try.Success (dictionary.has uri content state)})))
+      {try.#Success (dictionary.has uri content state)})))
 
 (def: .public test
   Test