Documentation tweaks

Co-authored-by: Ryan Scott <[email protected]>
GaloisInc · Nov 2, 2023 · adcb3f6 · adcb3f6
1 parent b48d753
commit adcb3f6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/crucible-llvm-syntax/README.md b/crucible-llvm-syntax/README.md
@@ -36,7 +36,7 @@ If the numeral `w` is the width of a pointer and `n` is an arbitrary numeral,
 
 ## Further extensions
 
-The parser hooks can be further customized by passing yet another `ParserHooks`
+The LLVM parser hooks can be further customized by passing yet another `ParserHooks`
 to them. The `TypeAlias` module implements one such example, for translating
 types like `Long` into `(Ptr n)` or `(Bitvector n)` for appropriate `n`.
 

diff --git a/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax/TypeAlias.hs b/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax/TypeAlias.hs
@@ -33,7 +33,7 @@ data TypeAlias = Byte | Int | Long | PidT | Pointer | Short | SizeT | UidT
 -- represents.
 newtype TypeLookup = TypeLookup (TypeAlias -> (Some LCT.TypeRepr))
 
--- | A lookup function from 'AFE.TypeAlias' to types with the appropriate width
+-- | A lookup function from 'TypeAlias' to types with the appropriate width
 -- on Arm32 Linux.
 aarch32LinuxTypes :: TypeLookup
 aarch32LinuxTypes =