Merge pull request #4125 from edmundsmith/issue4122
Fixed readSecret to correctly read store
commit172924c9db9bee77587cce28dbf74e10d0ba0e75
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateMon 16 Oct 2017, 11:26 (9 years ago)
parentb117f9f9742bac
samples/ST/Login.idr+1−1
@@ -41,7 +41,7 @@ DataStore IO where
4141
4242 disconnect store = delete store
4343
44− readSecret store = readSecret store
44+ readSecret store = read store
4545
4646 login store = do putStr "Enter password: "
4747 p <- getStr