Supress defaulting warnings when loading cryptol modules.
Supress defaulting warnings when loading cryptol modules.

This will fix GaloisInc/saw-script#768.

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