From a6266b2168f50ce0035a5bb35c5313d48b23e9da Mon Sep 17 00:00:00 2001 From: dzaima Date: Sun, 2 Feb 2025 00:42:06 +0200 Subject: [PATCH] remove unnecessary defs --- src/singeli/src/base.singeli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/singeli/src/base.singeli b/src/singeli/src/base.singeli index c2818e99..8f6bdcab 100644 --- a/src/singeli/src/base.singeli +++ b/src/singeli/src/base.singeli @@ -176,7 +176,7 @@ def { all_hom,any_hom,blend_hom,hom_to_int,store_masked_hom,store_blended_hom, all_top,any_top,blend_top,top_to_int,store_masked_top,store_blended_top, loadBatchBit,load_low,make,mask_to_hom,mulw_split,mulh,narrow,narrow_trunc,narrow_pair, - packQ,pair,pdep,pext,popcRand,rbit,sel,shl,shr,shufInd,store_low, + pair,pdep,pext,rbit,sel,shufInd,store_low, unord,unzip,vfold,vec_select,vec_shuffle,widen,widen_upper,multishift, }