From 0b5d1cd471aec3fbd8e494b1274c120b3b63efe1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 13 Sep 2010 13:45:51 +0200 Subject: [PATCH] Do not print Pervasives --- compiler/obc/c/cgen.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/compiler/obc/c/cgen.ml b/compiler/obc/c/cgen.ml index 97464b0..9ed39d6 100644 --- a/compiler/obc/c/cgen.ml +++ b/compiler/obc/c/cgen.ml @@ -57,7 +57,10 @@ struct end let cname_of_qn q = - (q.qual ^ "__" ^ q.name) + if q.qual = "Pervasives" then + q.name + else + (q.qual ^ "__" ^ q.name) let rec struct_name ty = match ty with