diff options
| author | Brian Campbell | 2019-05-20 13:45:31 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-20 13:45:31 +0100 |
| commit | b87d1c27e4349cb85b9597a99c8024a59e2e0bac (patch) | |
| tree | 0cd70f24b0daee56780d801b2d3c9873f805e2fd /src/pattern_completeness.ml | |
| parent | 97de43adb6f786c2af88ed6a4d14d330a9d59899 (diff) | |
Revert "Add constraints to undefined vector functions to ensure that lengths are"
This reverts commit 8bed4e4ef414f93e02f28f0e5eb223a855ba3d14.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions