Add a comment explaining why we don't do inlucde resolution on in-memory files
Add a comment explaining why we don't do inlucde resolution on in-memory files

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol