From ad7a6f6a91ad71959e9138245ffaeb021d70b060 Mon Sep 17 00:00:00 2001 From: abwesend890 <39745167+abwesend890@users.noreply.github.com> Date: Tue, 5 Oct 2021 12:18:26 +0200 Subject: [PATCH] Update README.md --- src/javascript/translator/README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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