Skip to content

Commit fde8631

Browse files
committed
Use _opt
1 parent 73788f3 commit fde8631

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

middle_end/backend_var.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ let name_without_opt t =
2424
let name = name t in
2525
if String.starts_with ~prefix name
2626
&& String.length name > prefix_len
27-
then String.sub name prefix_len (String.length name - prefix_len)
27+
then (String.sub name prefix_len (String.length name - prefix_len)) ^ "_opt"
2828
else name
2929

3030
let name_for_debugger t = name_without_opt t

0 commit comments

Comments
 (0)