Fix a typo

anoma · Nov 8, 2024 · 17d6440 · 17d6440
1 parent 863281e
commit 17d6440
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/Package.juvix b/docs/Package.juvix
@@ -12,7 +12,7 @@ dependencies :=
 github "anoma" "juvix-test" "v0.15.0"
 --8<-- [end:juvix-test]
 ;
---8<- [start:juvix-quickcheck]
+--8<-- [start:juvix-quickcheck]
 github "anoma" "juvix-quickcheck" "v0.15.0"
 --8-- [end:juvix-quickcheck]
 ;