Commit 9225b13
committed
Fix typo
corrected 'out' to 'our', since we have been referring to it as 'our type system' like in line 833.1 parent 2ac0f76 commit 9225b13
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
838 | 838 | | |
839 | 839 | | |
840 | 840 | | |
841 | | - | |
| 841 | + | |
842 | 842 | | |
843 | 843 | | |
844 | 844 | | |
| |||
0 commit comments