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