summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--compiler/ExtractBase.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index eb2a2ec9..0af7a9b4 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -351,7 +351,7 @@ let basename_to_unique (names_set : StringSet.t)
let s = append basename i in
if StringSet.mem s names_set then gen (i + 1) else s
in
- if StringSet.mem basename names_set then gen 0 else basename
+ if StringSet.mem basename names_set then gen 1 else basename
type fun_name_info = { keep_fwd : bool; num_backs : int }