@@ -59,9 +59,10 @@ codegenC defs out exec incs objs libs dbg
5959 when (exit /= ExitSuccess) $
6060 putStrLn ("FAILURE: " ++ gcc)
6161
62−headers [] = "#include <idris_rts.h>\n#include <idris_stdfgn.h>\n" ++
63− "#include <gmp.h>\n#include <assert.h>\n"
64−headers (x : xs) = "#include <" ++ x ++ ">\n" ++ headers xs
62+headers xs =
63+ concatMap
64+ (\h -> "#include <" ++ h ++ ">\n")
65+ (xs ++ ["idris_rts.h", "idris_stdfgn.h", "gmp.h", "assert.h"])
6566
6667debug TRACE = "#define IDRIS_TRACE\n\n"
6768debug _ = ""