Skip to content

Commit 3271b3f

Browse files
committed
document fc -a
1 parent 29bbcc0 commit 3271b3f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

docs/reference/cli/cmd_production.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -224,6 +224,7 @@ If given, an option can take one of two forms -- an integer or a production name
224224
| :--------------------- | :--------------------------------------------------------------------------------------------- |
225225
| `n` | List the top `n` productions. If `n` is 0, only the productions which haven't fired are listed |
226226
| `production_name` | Print how many times a specific production has fired |
227+
| `-a, --all` | Print how many times all productions have fired (the default) |
227228
| `-f, --fired` | Prints only rules that have fired |
228229
| `-c, --chunks` | Print how many times chunks (learned rules) fired |
229230
| `-j, --justifications` | Print how many times justifications fired |

0 commit comments

Comments
 (0)