diff --git a/src/javascript/translator/README.md b/src/javascript/translator/README.md index d4c219d170..546414b0ee 100644 --- a/src/javascript/translator/README.md +++ b/src/javascript/translator/README.md @@ -11,8 +11,8 @@ The following steps are exemplarily presented in `usage_example.html` and `usage - use micropip to install the translator-wheel created by `setup.py` into the python environment - store the pddl strings to the browser's virtual filesystem using python - import and execute the translator in python: - ```Python +```Python from translator.translate import run run(["domain.pddl", "problem.pddl", "--sas-file", "output.sas"]) - ``` -- load the result from the python environment to the javascript environment for further use \ No newline at end of file +``` +- load the result from the python environment to the javascript environment for further use