tweak to library makefiles

leepike · May 27, 2011 · 33b0ba3 · 33b0ba3
1 parent 7c5e9ea
commit 33b0ba3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV/Compilers/C.hs b/Data/SBV/Compilers/C.hs
@@ -540,7 +540,7 @@ genLibMake libName fs =
        libh = libName ++ ".h"
        libd = libName ++ "_driver"
        os   = map (flip replaceExtension ".o") fs
-       mkObj o f =  text o <> text (":" ++ unwords [f, libh])
+       mkObj o f =  text o <> text (": " ++ unwords [f, libh])
                  $$ text "\t${CC} ${CCFLAGS} -c $< -o $@"
                  $$ text ""