diff options
Diffstat (limited to 'cparser/Rename.ml')
| -rw-r--r-- | cparser/Rename.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Rename.ml b/cparser/Rename.ml index cf82bc9f..b0dc120f 100644 --- a/cparser/Rename.ml +++ b/cparser/Rename.ml @@ -48,6 +48,7 @@ let enter_static env id file = let id' = StringMap.find id.name env.re_public in { env with re_id = IdentMap.add id id' env.re_id } with Not_found -> + let file = String.map (fun a -> match a with 'a'..'z' | 'A'..'Z' | '0'..'9' -> a | _ -> '_') file in let id' = {id with name = Printf.sprintf "_%s_%s" file id.name} in { re_id = IdentMap.add id id' env.re_id; re_public = env.re_public; |