@@ -90,5 +90,5 @@ You can use the following command to run it:
docker run --rm--mounttype=bind,source=/host/path/to/homework/,target=/home/pecan/ReedOei/Pecan/exercises pecan-prover:latest python3 pecan.py exercises/my-nice-exercise.pn
```
You will need to change the `/host/path/to/homework/` path in the above to the actual path to the Dockerfile on your machine.
You will need to change the `/host/path/to/homework/` path in the above to the actual path to the folder containing the Dockerfile on your machine, as well as `exercises/my-nice-exercise.pn` to the path to your own Pecan file.
