diff --git a/jbuild b/jbuild index 75b4c96cb..ea8e23449 100644 --- a/jbuild +++ b/jbuild @@ -1,2 +1,2 @@ -(jbuild_version jane_street) +(jbuild_version 1) diff --git a/src/jbuild b/src/jbuild index e9c94d67c..6c9d6e805 100644 --- a/src/jbuild +++ b/src/jbuild @@ -5,4 +5,4 @@ (libraries (ppx_core ppx_driver)) (preprocess no_preprocessing))) -(jbuild_version jane_street) +(jbuild_version 1) diff --git a/test/jbuild b/test/jbuild index c9e1275e3..776c2febc 100644 --- a/test/jbuild +++ b/test/jbuild @@ -3,4 +3,4 @@ (preprocess (pps (ppx_let ppx_driver.runner))))) -(jbuild_version jane_street) +(jbuild_version 1)