diff --git a/src/jbuild b/src/jbuild index 9f0d9678f..cd2e6bc43 100644 --- a/src/jbuild +++ b/src/jbuild @@ -6,5 +6,4 @@ (libraries (ppx_core ppx_driver)) (preprocess no_preprocessing))) - (jbuild_version 1) diff --git a/test/jbuild b/test/jbuild index 4d46bc57a..03a426849 100644 --- a/test/jbuild +++ b/test/jbuild @@ -4,5 +4,4 @@ (preprocess (pps (ppx_let ppx_driver.runner))))) - (jbuild_version 1)