diff options
| author | Kathy Gray | 2014-06-24 14:41:31 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-06-24 14:41:31 +0100 |
| commit | 7528144c2bd63f0dd6c1147deaa74050da4c1543 (patch) | |
| tree | 8fc1bd69197bab1c6d57da613f430630013bcfc2 /src/lem_interp/interp_inter_imp.lem | |
| parent | edad894f962a4aa07036d6435364b6919add8085 (diff) | |
Get vector length for to_inc_vec and to_dec_vec from the type system after constraint solving (instead of hardcoding 64 as the default).
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
0 files changed, 0 insertions, 0 deletions