Use branch of quickcheck that uses the new syntax

anoma · Aug 30, 2023 · 1cc8fa6 · 1cc8fa6
1 parent 87e765a
commit 1cc8fa6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Makefile b/test/Makefile
@@ -3,7 +3,7 @@ all: test
 
 deps/quickcheck:
 	@mkdir -p deps/
-	@git clone --branch v0.6.3 --depth 1 https://github.com/anoma/juvix-quickcheck.git deps/quickcheck
+	@git clone --branch update-for-0.5.0 --depth 1 https://github.com/anoma/juvix-quickcheck.git deps/quickcheck
 	$(MAKE) -C deps/quickcheck deps
 
 build/Test: $(shell find ../ -name "*.juvix") $(wildcard deps/**/*.juvix) Test.juvix deps/quickcheck