diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index f0dd1016..9d7bba05 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -77,7 +77,7 @@ let to_vec ord len v = ;; (* XXX work-around to avoid truncating *) -let to_vec_safe o l v = to_vec o (l+1) v ;; +let to_vec_safe o l v = to_vec o 64 v ;; let arith_op op (V_tuple args) = match args with | [V_lit(L_aux (L_num x) lx); V_lit(L_aux (L_num y) ly)] -> V_lit(L_aux (L_num (op x y)) lx) |