Skip to content

Commit e425459

Browse files
Clarified circumstances during which problem occurs
Co-authored-by: danceratopz <[email protected]>
1 parent c4bbfc2 commit e425459

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/getting_started/installation_troubleshooting.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -66,7 +66,7 @@ This page provides guidance on how to troubleshoot common issues that may arise
6666

6767
### Problem: `Exception: failed to compile yul source`
6868

69-
!!! danger "Problem: `Running fill fails with tests that contain yul source code`"
69+
!!! danger "Problem: `Running fill fails with tests that contain yul source code` on ARM platforms"
7070
This is happening when you are using an ARM64 OS but used the x86-64 installation guide.
7171
To resolve the issue you must build solidity from source (avoid 0.8.24 as it might require building z3 from source as well).
7272

0 commit comments

Comments
 (0)