docs/modules: Fix entrypoint signature.

monte-language · Jun 12, 2018 · 9e4131e · 9e4131e
1 parent f41b3da
commit 9e4131e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/modules.rst b/docs/source/modules.rst
@@ -153,7 +153,7 @@ a promise for an ``Int``.
 
     exports (main)
 
-    def main(=> currentProcess) :Int as DeepFrozen:
+    def main(_argv, => currentProcess) :Int as DeepFrozen:
         traceln(`Current process: $currentProcess`)
         return 0