Skip to content

Commit

Permalink
crucible-llvm-syntax: Fix README typo
Browse files Browse the repository at this point in the history 
Co-authored-by: Ryan Scott <[email protected]>
  • Loading branch information
@langston-barrett @RyanGlScott
langston-barrett and RyanGlScott authored Nov 1, 2023
1 parent bb3501b commit 18e4db9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion crucible-llvm-syntax/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ statements:
- `i16 : LLVMType`: [LLVM docs][int-type], corresponds to Crucible-LLVM's `IntType 16 :: MemType`
- `i32 : LLVMType`: [LLVM docs][int-type], corresponds to Crucible-LLVM's `IntType 32 :: MemType`
- `i64 : LLVMType`: [LLVM docs][int-type], corresponds to Crucible-LLVM's `IntType 64 :: MemType`
- `ptr : LLVMType`: [LLVM docs][ptr-type], corresponds to Crucible-LLVM's `IntType 64 :: PtrOpaqueType`
- `ptr : LLVMType`: [LLVM docs][ptr-type], corresponds to Crucible-LLVM's `PtrOpaqueType :: MemType`

[int-type]: https://llvm.org/docs/LangRef.html#integer-type
[ptr-type]: https://llvm.org/docs/LangRef.html#pointer-type
Expand Down

0 comments on commit 18e4db9

Please sign in to comment.