whoops, fixed a bug in the cryptol spec for sorted_insert_spec
whoops, fixed a bug in the cryptol spec for sorted_insert_spec

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