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