diff options
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index d1703502..aeb81085 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -68,7 +68,6 @@ let rec vec_concat (V_tuple args) = match args with let function_map = [ ("add", add); - ("add_infix", add); ("eq", eq); ("vec_concat", vec_concat); ("is_one", is_one); |