Repository navigation
Commit 4b4f9d5
Use WAT not WIT in example
Co-authored-by: Andreas Rossberg <rossberg@mpi-sws.org>1 parent 264a90a commit 4b4f9d5
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
731 | 731 | | |
732 | 732 | | |
733 | 733 | | |
734 | | - | |
| 734 | + | |
735 | 735 | | |
736 | 736 | | |
737 | 737 | | |
| |||
0 commit comments