From a7a96a53e06a6a5d97f673625f6545883737d5b3 Mon Sep 17 00:00:00 2001 From: Langston Barrett Date: Wed, 1 Nov 2023 11:54:56 -0400 Subject: [PATCH] crucible-llvm-syntax: README typo --- crucible-llvm-syntax/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crucible-llvm-syntax/README.md b/crucible-llvm-syntax/README.md index 82053ad60..1c4a1cdc6 100644 --- 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