deploy: 2a5113b

shoo · Jun 2, 2024 · 85aa5f1 · 85aa5f1
1 parent faf82e8
commit 85aa5f1
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/voile.json b/voile.json
@@ -9003,7 +9003,7 @@
        {
         "name" : "cfg",
         "deco" : "S3std7process6Config",
-        "default" : "Config(Flags.none, null)"
+        "default" : "Config(Flags.none, null, null)"
        }
       ],
       "endline" : 1906,
@@ -9049,7 +9049,7 @@
        {
         "name" : "cfg",
         "deco" : "S3std7process6Config",
-        "default" : "Config(Flags.suppressConsole, null)"
+        "default" : "Config(Flags.suppressConsole, null, null)"
        }
       ],
       "endline" : 1923,
@@ -9095,7 +9095,7 @@
        {
         "name" : "cfg",
         "deco" : "S3std7process6Config",
-        "default" : "Config(Flags.suppressConsole, null)"
+        "default" : "Config(Flags.suppressConsole, null, null)"
        }
       ],
       "endline" : 1940,
@@ -9129,7 +9129,7 @@
        {
         "name" : "cfg",
         "deco" : "S3std7process6Config",
-        "default" : "Config(Flags.suppressConsole, null)"
+        "default" : "Config(Flags.suppressConsole, null, null)"
        }
       ],
       "endline" : 1953,
@@ -9163,7 +9163,7 @@
        {
         "name" : "cfg",
         "deco" : "S3std7process6Config",
-        "default" : "Config(Flags.suppressConsole, null)"
+        "default" : "Config(Flags.suppressConsole, null, null)"
        }
       ],
       "endline" : 1966,
@@ -9253,7 +9253,7 @@
       "protection" : "public",
       "line" : 138,
       "char" : 1,
-      "deco" : "FNcNjS5voile2fs10FileSystemZQx",
+      "deco" : "FNcNjNfS5voile2fs10FileSystemZQx",
       "originalType" : "ref FileSystem(FileSystem p) return",
       "parameters" : [
        {