whoops, undid that recent change to CruUtil.hs because it looks like that was for an older version of Crucible...
whoops, undid that recent change to CruUtil.hs because it looks like that was for an older version of Crucible...

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