git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2694 from melted/include_tweak
ac9d6feNiklas Larsson
src/IRTS/CodegenC.hs+1−1
compare with master
unifiedsplit
@@ -95,7 +95,7 @@ codegenC' defs out exec incs objs libs flags exports iface dbg
95
95
96headers xs =
96headers xs =
97 concatMap
97 concatMap
98− (\h -> "#include <" ++ h ++ ">\n")
98+ (\h -> "#include \"" ++ h ++ "\"\n")
99 (xs ++ ["idris_rts.h", "idris_bitstring.h", "idris_stdfgn.h"])
99 (xs ++ ["idris_rts.h", "idris_bitstring.h", "idris_stdfgn.h"])
100
100
101debug TRACE = "#define IDRIS_TRACE\n\n"
101debug TRACE = "#define IDRIS_TRACE\n\n"