Fixed a small typo in the documentation of `crucible_points_to_untyped`
Fixed a small typo in the documentation of `crucible_points_to_untyped`

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script