diff options
| author | Matthieu Sozeau | 2015-04-13 16:40:16 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-04-13 16:40:16 +0200 |
| commit | 546e2454f244340694f8fca460598499359afe28 (patch) | |
| tree | caa4448d72abd0df4c4995d20060654a152f1897 /lib/errors.ml | |
| parent | 781a0f13667bedc6f1c1ec64266c0dc90b1b23b5 (diff) | |
Remove declarations of matched variables in change as an extension of
the context... overlooked by my last commit. Fixes relation-algebra.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions