Rewrite with unless for convenince while debuging (unless is imported)

src/Cryptol/ModuleSystem/Base.hs

@@ -457,7 +457,7 @@ checkModule isrc path m = do
 
 {-
   -- dump renamed
-  when (thing (mName (R.rmModule renMod)) /= preludeName)
+  unless (thing (mName (R.rmModule renMod)) == preludeName)
        do (io $ print (T.pp renMod))
           -- io $ exitSuccess
 -}