Skip to content
Success

Changes

Summary

  1. [minor] indentation fix in errortrace_report (details)
Commit b2aa0faf744c1beca4a9b2b9e873a651296cf935 by gabriel.scherer
[minor] indentation fix in errortrace_report
The file was modifiedtyping/errortrace_report.ml (diff)