diff options
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 938724f1..b80c3fe7 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -74,8 +74,8 @@ let function_map = [ ("to_num_inc", to_num_inc); ("to_num_dec", to_num_dec); (* XXX the size of the target vector should be given by the interpreter *) - ("to_vec_inc", to_vec_inc 8); - ("to_vec_dec", to_vec_dec 8); + ("to_vec_inc", to_vec_inc 64); + ("to_vec_dec", to_vec_dec 64); ] ;; let eval_external name v = (Maybe_extra.fromJust (List.lookup name function_map)) v ;; |