cadical: use pre-rename code

YosysHQ · Nov 23, 2023 · f41b9ae · f41b9ae
1 parent 1a8a68f
commit f41b9ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default/rules/solvers.py b/default/rules/solvers.py
@@ -71,7 +71,7 @@
 	name = 'cadical',
 	vcs = 'git',
 	location = 'https://github.com/arminbiere/cadical',
-	revision = 'origin/master',
+	revision = 'e7369b4b04fafe8b4b139d5e181528f5006d0816',
 	license_file = 'LICENSE',
 	license_build_only = True,
 )