From e03d05ea1bf5d19a5a404a04c3c912c33fbcf118 Mon Sep 17 00:00:00 2001 From: swrup Date: Sun, 8 Feb 2026 17:00:41 +0100 Subject: [PATCH] --- include/dune | 5 ----- src/dune | 1 - src/signatures.ml | 1 - {include => src}/taler_signatures.ml | 0 4 files changed, 7 deletions(-) delete mode 100644 include/dune rename {include => src}/taler_signatures.ml (100%) diff --git a/include/dune b/include/dune deleted file mode 100644 index 3418869c..00000000 --- a/include/dune +++ /dev/null @@ -1,5 +0,0 @@ -(library - (name include) - ; (wrapped false) - (modules taler_signatures) - (libraries)) diff --git a/src/dune b/src/dune index 2a1a266a..e9b61c38 100644 --- a/src/dune +++ b/src/dune @@ -10,7 +10,6 @@ (modules :standard \ mte b32) (libraries b32 - include ; caqti caqti-miou diff --git a/src/signatures.ml b/src/signatures.ml index e3994695..4855835c 100644 --- a/src/signatures.ml +++ b/src/signatures.ml @@ -4,7 +4,6 @@ can we skip defining a specific record for signatures and directly use Api records? *) open Hash -module Taler_signatures = Include.Taler_signatures module Aliases = struct module Timestamp = struct diff --git a/include/taler_signatures.ml b/src/taler_signatures.ml similarity index 100% rename from include/taler_signatures.ml rename to src/taler_signatures.ml