Commit fd74dc1
committed
Fix handling of instance names in
This change was already made in flambda-backend but looks to have been
inadvertently dropped during a merge.Persistent_env
1 parent 0514f08 commit fd74dc1
1 file changed
+0
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
759 | 759 | | |
760 | 760 | | |
761 | 761 | | |
762 | | - | |
763 | | - | |
764 | | - | |
765 | 762 | | |
766 | 763 | | |
767 | 764 | | |
| |||
0 commit comments