fix build

YosysHQ · Dec 5, 2023 · 5772d2e · 5772d2e
1 parent c32cceb
commit 5772d2e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/default/scripts/cadical.sh b/default/scripts/cadical.sh
@@ -4,10 +4,10 @@ if [ ${ARCH_BASE} == 'windows' ]; then
     patch -p1 < ${PATCHES_DIR}/CaDiCaL_20190730.patch
 fi
 if [ ${ARCH} == 'linux-arm' ] || [ ${ARCH} == 'linux-arm64' ] || [ ${ARCH} == 'linux-riscv64' ]; then
-    sed -i '316,436d' configure
+    sed -i '318,436d' configure
 fi
 if [ ${ARCH_BASE} == 'darwin' ]; then
-    sed -i '316,436d' configure
+    sed -i '318,436d' configure
 fi
 if [ ${ARCH_BASE} == 'windows' ]; then
     sed -i '247,347d' configure