Skip to content

Commit

Permalink
Remove unnecessary words
Browse files Browse the repository at this point in the history
  • Loading branch information
christinerose authored Jul 30, 2024
1 parent 17b49e7 commit 57a6aa8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/driver.mld
Original file line number Diff line number Diff line change
Expand Up @@ -514,7 +514,7 @@ from the library name. We list them in a file, passed to [odoc source-tree], to
generate [src-source.odoc]. This file contains the source hierarchy. It will be
linked and passed to [html-generate], just as other pages and compilation units.

It is used as the [source-parent] for all units for which we could provide
It is used as the [source-parent] for all units with provided
sources.

{[
Expand Down

0 comments on commit 57a6aa8

Please sign in to comment.