diff --git a/_oasis b/_oasis index 810a106..b042fe7 100644 --- a/_oasis +++ b/_oasis @@ -31,7 +31,7 @@ Description: Flag camlp4 Description: camlp4 support - Default: true + Default: false Library utop Path: src/lib