From d4fe0178642a74f8cddc065571e73e8048d1142a Mon Sep 17 00:00:00 2001
From: Nicolas Berthier <nicolas.berthier@inria.fr>
Date: Fri, 31 Oct 2014 15:38:02 +0100
Subject: [PATCH] Bug correction in names of C functions for converting
 constructors to string.

---
 compiler/obc/c/cmain.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/obc/c/cmain.ml b/compiler/obc/c/cmain.ml
index a72ac77..a01ee77 100644
--- a/compiler/obc/c/cmain.ml
+++ b/compiler/obc/c/cmain.ml
@@ -127,7 +127,7 @@ let main_def_of_class_def cd =
     | Types.Tid id when id = Initial.pfloat -> None
     | Types.Tid id when id = Initial.pint -> None
     | Types.Tid id when id = Initial.pbool -> None
-    | Tid { name = n } -> Some n
+    | Tid tn -> Some (cname_of_qn tn)
   in
   let cprint_string s = Csexpr (Cfun_call ("printf", [Cconst (Cstrlit s)])) in