diff --git a/aslp_server/lib/dune b/aslp_server/lib/dune
deleted file mode 100644
index adcd4474..00000000
--- a/aslp_server/lib/dune
+++ /dev/null
@@ -1,2 +0,0 @@
-(library
- (name aslp_server))
diff --git a/aslp_server/test/dune b/aslp_server/test/dune
deleted file mode 100644
index cc27592b..00000000
--- a/aslp_server/test/dune
+++ /dev/null
@@ -1,2 +0,0 @@
-(test
- (name test_aslp_server))
diff --git a/aslp_server/test/test_aslp_server.ml b/aslp_server/test/test_aslp_server.ml
deleted file mode 100644
index e69de29b..00000000