Doubles includes.

Copilot-Language · Jun 18, 2015 · 5164099 · 5164099
1 parent ef7d30e
commit 5164099
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/Data/SBV/Compilers/C.hs b/Data/SBV/Compilers/C.hs
@@ -427,10 +427,6 @@ genCProg cfg fn proto (Result kindInfo _tvals cgs ins preConsts tbls arrs _ _ (S
  where usorts = [s | KUserSort s _ <- Set.toList kindInfo]
        pre    =  text "/* File:" <+> doubleQuotes (nm <> text ".c") <> text ". Automatically generated by SBV. Do not edit! */"
               $$ text ""
-              $$ text "#include <inttypes.h>"
-              $$ text "#include <stdint.h>"
-              $$ text "#include <stdbool.h>"
-              $$ text "#include <math.h>"
        header = text "#include" <+> doubleQuotes (nm <> text ".h")
        post   = text ""
              $$ vcat (map codeSeg cgs)