diff --git a/src/kernel/mconfig.ml b/src/kernel/mconfig.ml index 55875fa6b..4fdaaacda 100644 --- a/src/kernel/mconfig.ml +++ b/src/kernel/mconfig.ml @@ -457,10 +457,10 @@ let ocaml_ignored_flags = [ "-noautolink"; "-no-check-prims"; "-nodynlink"; "-no-float-const-prop"; "-no-keep-locs"; "-no-principal"; "-no-rectypes"; "-no-strict-formats"; "-no-strict-sequence"; "-no-unbox-free-vars-of-clos"; - "-no-unbox-specialised-args"; "-O2"; "-O3"; "-Oclassic"; "-opaque"; - "-output-complete-obj"; "-output-obj"; "-p"; "-pack"; - "-remove-unused-arguments"; "-S"; "-shared"; "-unbox-closures"; "-v"; - "-verbose"; "-where"; + "-no-unbox-specialised-args"; "-no-unboxed-types"; "-O2"; "-O3"; + "-Oclassic"; "-opaque"; "-output-complete-obj"; "-output-obj"; "-p"; "-pack"; + "-remove-unused-arguments"; "-S"; "-shared"; "-unbox-closures"; + "-unboxed-types"; "-v"; "-verbose"; "-where"; ] let ocaml_ignored_parametrized_flags = [ diff --git a/tests/test-dirs/errors/issue1794.t b/tests/test-dirs/errors/issue1794.t index 8c8df56c7..b5ee24a47 100644 --- a/tests/test-dirs/errors/issue1794.t +++ b/tests/test-dirs/errors/issue1794.t @@ -1,27 +1,13 @@ $ $MERLIN single errors -filename main.ml -unboxed-types { "class": "return", - "value": [ - { - "type": "config", - "sub": [], - "valid": true, - "message": "unknown flag -unboxed-types" - } - ], + "value": [], "notifications": [] } $ $MERLIN single errors -filename main.ml -no-unboxed-types { "class": "return", - "value": [ - { - "type": "config", - "sub": [], - "valid": true, - "message": "unknown flag -no-unboxed-types" - } - ], + "value": [], "notifications": [] }