From 0a73aa4c4474bafb43b250fb86fb6eae3dfd1219 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Mon, 20 May 2019 16:02:57 -0400
Subject: [refman] Add more missing @ signs

---
 doc/sphinx/addendum/program.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/sphinx/addendum')

diff --git a/doc/sphinx/addendum/program.rst b/doc/sphinx/addendum/program.rst
index 22ddcae584..45c74ab02a 100644
--- a/doc/sphinx/addendum/program.rst
+++ b/doc/sphinx/addendum/program.rst
@@ -299,9 +299,9 @@ optional tactic is replaced by the default one if not specified.
 
    Displays all remaining obligations.
 
-.. cmd:: Obligation num {? of @ident}
+.. cmd:: Obligation @num {? of @ident}
 
-   Start the proof of obligation num.
+   Start the proof of obligation :token:`num`.
 
 .. cmd:: Next Obligation {? of @ident}
 
-- 
cgit v1.2.3