diff --git a/compiler/obc/c/c.ml b/compiler/obc/c/c.ml
index 0764e35..cc2dd04 100644
--- a/compiler/obc/c/c.ml
+++ b/compiler/obc/c/c.ml
@@ -294,7 +294,7 @@ let pp_cdecl fmt cdecl = match cdecl with
       fprintf fmt "@[<v>%a %a(@[<hov>%a@]);@ @]@\n"
         pp_cty retty  pp_string n  pp_param_list args
   | Cdecl_constant (n, cty, ce) ->
-      fprintf fmt "@[<v>const %a %a = %a;@ @]@\n"
+      fprintf fmt "@[<v>static const %a %a = %a;@ @]@\n"
         pp_cty cty  pp_string n  pp_cconst_expr ce
 
 let pp_cdef fmt cdef = match cdef with