From 0b5cb42d95c69d66e2400d5da1ccb5e1e5ced75c Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 1 Sep 2020 13:20:49 -0700 Subject: [PATCH] cuda.libraries: remove duplicate definition of ?delete-at. --- extra/cuda/libraries/libraries.factor | 3 --- 1 file changed, 3 deletions(-) diff --git a/extra/cuda/libraries/libraries.factor b/extra/cuda/libraries/libraries.factor index 41afac8602..52759458b3 100644 --- a/extra/cuda/libraries/libraries.factor +++ b/extra/cuda/libraries/libraries.factor @@ -19,9 +19,6 @@ cuda-libraries [ H{ } clone ] initialize SYMBOL: current-cuda-library -: ?delete-at ( key assoc -- old/key ? ) - 2dup delete-at* [ 2nip t ] [ 2drop f ] if ; inline - : cuda-param-size ( function n -- ) cuParamSetSize cuda-error ; inline