summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2023-04-25 18:35:17 +0200
committerGitHub <noreply@github.com>2023-04-25 18:35:17 +0200
commit69472048a0d1782d2b773561588339136a8cf5b6 (patch)
treebaa5fe809a42a3971681671826383807d9750985 /testsuite
parent0a7c5fe35f4be2ea5c834b586fb5e947bd952377 (diff)
parent01e1f49ba1eae97b9a112b68bc154f564c3ca37d (diff)
downloadocaml-69472048a0d1782d2b773561588339136a8cf5b6.tar.gz
Merge pull request #12206 from Octachron/remove_unused_error
remove unused error constructor: Unbound_row_variable
Diffstat (limited to 'testsuite')
0 files changed, 0 insertions, 0 deletions