Skip to content

Commit

Permalink
minor fix
Browse files Browse the repository at this point in the history
  • Loading branch information
DavidLeoni committed Jan 26, 2020
1 parent 0eab688 commit 612a449
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion exams/2020-01-23/exam-2020-01-23-solution.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -844,7 +844,7 @@
"\n",
"Write some code to plot the histogram of _statement_ labels referenced by steps in `proof`, from most to least frequently referenced. \n",
"\n",
"A label gets a count each time a step references another step with that label. The only exception is the label in the last step, which gets an extra count even if there is no step referencing the last step.\n",
"A label gets a count each time a step references another step with that label.\n",
"\n",
"For example, in the subgraph above:\n",
"\n",
Expand Down

0 comments on commit 612a449

Please sign in to comment.