diff --git a/Dockerfile b/Dockerfile
index e24fa60b350920f66942421dc05ff98f77e39987..71a188e2f807d26ee1b170cae680fdb5852cff60 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,7 +1,8 @@
 FROM inf110-workspace-base:latest
 
-# Install the coq-lsp extension for code-server
+# Install the coq-lsp extension for code-server and an extension that highlights errors in the code
 RUN code-server --install-extension ejgallego.coq-lsp
+RUN code-server --install-extension usernamehw.errorlens
 
 # Install the Jupyter / Python extensions for code-server
 RUN code-server --install-extension ms-toolsai.jupyter