Fix build after rebase
commitb9f0b7e8e7bf1ad596cb9f5deedaa673b50d6f19
authorAndrew Cann <shum@canndrew.org>
dateMon 23 Mar 2015, 18:12 (12 years ago)
parent465cc1c
libs/contrib/Network/Cgi.idr+1−1
@@ -108,7 +108,7 @@ getVars seps query = mapMaybe readVar (split (\x => elem x seps) query)
108108 | _ = Nothing
109109
110110getContent : Int -> IO String
111−getContent x = getC (toNat x) "" where
111+getContent x = getC (cast x) "" where
112112 getC : Nat -> String -> IO String
113113 getC Z acc = return $ reverse acc
114114 getC (S k) acc = do x <- getChar