Skip to content

Commit ae33868

Browse files
committed
Fix heading label warning
1 parent e191cd2 commit ae33868

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

doc/qcheck-core/index.mld

+2-2
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ The [qcheck-core] opam package contains two libraries:
55
- The [qcheck-core] library for defining property-based tests
66
- The [qcheck-core.runner] library for running property-based tests
77

8-
{1: The [qcheck-core] library}
8+
{1 The [qcheck-core] library}
99

1010
The [qcheck-core] library exposes two toplevel modules:
1111

@@ -21,7 +21,7 @@ removing the need for having to hand-write shrinkers.
2121
file an issue if you encounter problems using either of the two
2222
modules.
2323

24-
{1: The [qcheck-core.runner] library}
24+
{1 The [qcheck-core.runner] library}
2525

2626
The entry point of the [qcheck-core.runner] library is the {!QCheck_base_runner} module.
2727

0 commit comments

Comments
 (0)