crucible-llvm-syntax: README typo

GaloisInc · Nov 1, 2023 · a7a96a5 · a7a96a5
1 parent 30fbe47
commit a7a96a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crucible-llvm-syntax/README.md b/crucible-llvm-syntax/README.md
@@ -24,7 +24,7 @@ statements:
 
 **Statements**:
 
-If the numeral representing `w` the pointer width and `n` is an arbitrary numeral,
+If the numeral `w` is the width of a pointer and `n` is an arbitrary numeral,
 
 - `ptr : Nat -> Bitvector n -> Ptr n`: construct a pointer from a block and offset
 - `ptr-block : Ptr n -> Nat`: get the block number of a pointer