fixing titles underline length

Certora · Jan 20, 2025 · bef290f · bef290f
1 parent 064f1d6
commit bef290f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/sunbeam/troubleshooting.rst b/docs/sunbeam/troubleshooting.rst
@@ -2,7 +2,7 @@ Troubleshooting
 ===============
 
 Unable to run ``certoraSorobanProver``
-----------------------------
+--------------------------------------
 If you are unable to run ``certoraSorobanProver``, we recommend trying it from within a ``venv``.
 
 #. First, create a ``venv`` and make sure you are inside the ``venv`` by running the
@@ -29,7 +29,7 @@ If you are unable to run ``certoraSorobanProver``, we recommend trying it from w
 ----
 
 Build step of ``certoraSorobanProver`` is failing
----------------------------------------
+-------------------------------------------------
 
 When you execute ``certoraSorobanProver``, the project is internally build using ``cargo build``.
 This step requires a successful build. In case ``certoraSorobanProver`` fails on the build step,