diff options
| author | Matthieu Sozeau | 2014-09-15 12:08:32 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-15 12:16:52 +0200 |
| commit | d4edff8e7a070151da6536a9674b15993cc273b5 (patch) | |
| tree | 2fa8ad66989c7519078b8b52ea578fe18183945a /interp/implicit_quantifiers.ml | |
| parent | fb5d74bb3f5a46e918877bd9c5b14dbcdc220430 (diff) | |
Fix bug #3621, using fold_left2 on arrays of the same size only.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions