From 2311f45c9deefebafed3826ce55eba025736f0e4 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Sun, 4 Oct 2020 19:47:17 +0200 Subject: [PATCH] Really remove base Signed-off-by: Marcello Seri --- ppx/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ppx/dune b/ppx/dune index 6e37bcdf..46b6f68c 100644 --- a/ppx/dune +++ b/ppx/dune @@ -4,7 +4,7 @@ (synopsis "[@@deriving rpc]") (kind ppx_deriver) (ppx_runtime_libraries rpclib) - (libraries base ppxlib) + (libraries ppxlib) (preprocess (pps ppxlib.metaquot ppxlib.runner)) (wrapped false))