diff --git a/docs/source/worker/external_workers.md b/docs/source/worker/external_workers.md index 0504913da..71cdc0b3a 100644 --- a/docs/source/worker/external_workers.md +++ b/docs/source/worker/external_workers.md @@ -55,12 +55,13 @@ This is currently only available through a python script: from pathlib import Path from tierkreis import Worker -from tierkreis.codegen import Namespace +from tierkreis.namespace import Namespace if __name__ == "__main__": tsp_path = Path("") namespace = Namespace.from_spec_file(tsp_path) + worker = Worker("TestNamespace") # same name as interface worker.namespace = namespace worker.write_stubs(tsp_path.parent / "stubs.py") ```