diff options
Diffstat (limited to 'asmcomp/compilenv.ml')
| -rw-r--r-- | asmcomp/compilenv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/compilenv.ml b/asmcomp/compilenv.ml index 80be94e9f7..49a846667d 100644 --- a/asmcomp/compilenv.ml +++ b/asmcomp/compilenv.ml @@ -108,7 +108,7 @@ let make_symbol ?(unitname = current_unit.ui_symbol) idopt = let symbol_in_current_unit name = let prefix = "caml" ^ current_unit.ui_symbol in - name = prefix || + name = prefix || (let lp = String.length prefix in String.length name >= 2 + lp && String.sub name 0 lp = prefix |