diff options
| author | Gabriel Kerneis | 2014-07-01 15:41:07 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-07-01 15:41:07 +0100 |
| commit | 902f0af6be29b6a68882ee31d0b5827034880d37 (patch) | |
| tree | 5afe17a2b93c2e66c3bdea65d744ecf1b5536ca3 | |
| parent | 62d1ba743332e4a6a71e4579fbf8900a455a69a8 (diff) | |
Update case of EXTS
| -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 c4087edb..a03fad5c 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -180,7 +180,7 @@ let function_map = [ ("is_one", is_one); ("to_num_inc", to_num false); ("to_num_dec", to_num false); - ("exts", exts 64); + ("EXTS", exts 64); ("to_vec_inc", to_vec_inc); ("to_vec_dec", to_vec_dec); ("bitwise_not", bitwise_not); |