used fixed version before big change for now

YosysHQ · Jun 30, 2023 · 0d2d0ec · 0d2d0ec
1 parent 7a3299f
commit 0d2d0ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default/rules/solvers.py b/default/rules/solvers.py
@@ -38,7 +38,7 @@
 	name = 'bitwuzla',
 	vcs = 'git',
 	location = 'https://github.com/bitwuzla/bitwuzla',
-	revision = 'origin/main',
+	revision = '1230d80a5275ddf525da9c218c2bcd29c3130e49',
 	license_file = 'COPYING',
 )