Update README.md

aibasel · Oct 5, 2021 · ad7a6f6 · ad7a6f6
1 parent 4c3ebf3
commit ad7a6f6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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
+```
+- load the result from the python environment to the javascript environment for further use