From a7e34a0a1735f48dc1b958309ddb6dc13c5aa9d0 Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Thu, 1 Jul 2010 15:41:07 +0200
Subject: [PATCH] C backend: added missing #include

---
 compiler/minils/sequential/c.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/minils/sequential/c.ml b/compiler/minils/sequential/c.ml
index ce5eee5..0bc834b 100644
--- a/compiler/minils/sequential/c.ml
+++ b/compiler/minils/sequential/c.ml
@@ -269,6 +269,7 @@ let pp_cfile_desc fmt filen cfile =
         Misc.print_header_info fmt "/*" "*/";
         fprintf fmt "#include <stdio.h>@\n";
         fprintf fmt "#include <string.h>@\n";
+        fprintf fmt "#include <stdlib.h>@\n";
         fprintf fmt "#include \"%s\"@\n@\n" headern;
         fprintf fmt "#define FALSE 0@\n#define TRUE 1@\n@\n";
         iter (pp_cdef fmt) cdefs