From 00003b625ed3d5f3f2d79cf38ca6ad08e634432e Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Mon, 16 Nov 2020 20:24:09 -0800
Subject: Use only nats for occs_nums rather than ints

---
 doc/sphinx/proofs/writing-proofs/rewriting.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/proofs/writing-proofs/rewriting.rst b/doc/sphinx/proofs/writing-proofs/rewriting.rst
index f3f69a2fdc..31050cb107 100644
--- a/doc/sphinx/proofs/writing-proofs/rewriting.rst
+++ b/doc/sphinx/proofs/writing-proofs/rewriting.rst
@@ -320,7 +320,7 @@ Performing computations
    ref_or_pattern_occ ::= @reference {? at @occs_nums }
    | @one_term {? at @occs_nums }
    occs_nums ::= {+ {| @natural | @ident } }
-   | - {| @natural | @ident } {* @int_or_var }
+   | - {+ {| @natural | @ident } }
    int_or_var ::= @integer
    | @ident
    unfold_occ ::= @reference {? at @occs_nums }
-- 
cgit v1.2.3