1 files changed, 0 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am
index 98ca70ae3..931c74769 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -12,7 +12,6 @@ endif
 if HAVE_EXPERIMENTAL
 EXP_DIR = \
-  dv \
  rps \
  $(CONSENSUS) \
  $(SECRETSHARING)

diff --git a/src/Makefile.am b/src/Makefile.am index 98ca70ae3..931c74769 100644 --- a/src/Makefile.am +++ b/src/Makefile.am
@@ -12,7 +12,6 @@ endif
12		12
13	if HAVE_EXPERIMENTAL	13	if HAVE_EXPERIMENTAL
14	EXP_DIR = \	14	EXP_DIR = \
15	dv \
16	rps \	15	rps \
17	$(CONSENSUS) \	16	$(CONSENSUS) \
18	$(SECRETSHARING)	17	$(SECRETSHARING)