diff --git a/dune-project b/dune-project
index c463594..ba417fe 100644
--- a/dune-project
+++ b/dune-project
@@ -1,2 +1,2 @@
-(lang dune 1.0)
+(lang dune 1.4)
 (using menhir 2.0)
diff --git a/jbuild-workspace b/jbuild-workspace
deleted file mode 100644
index 9b5f577..0000000
--- a/jbuild-workspace
+++ /dev/null
@@ -1 +0,0 @@
-(context default)