diff --git a/mlir/docs/PassManagement.md b/mlir/docs/PassManagement.md --- a/mlir/docs/PassManagement.md +++ b/mlir/docs/PassManagement.md @@ -1284,9 +1284,9 @@ #-} ``` -The configuration dumped can be passed to `mlir-opt` by specifying -`-run-reproducer` flag. This will result in parsing the configuration of the reproducer -and adjusting the necessary opt state, e.g. configuring the pass manager, context, etc. +The configuration dumped can be passed to `mlir-opt`. This will result in +parsing the configuration of the reproducer and adjusting the necessary opt +state, e.g. configuring the pass manager, context, etc. Beyond specifying a filename, one can also register a `ReproducerStreamFactory` function that would be invoked in the case of a crash and the reproducer written diff --git a/mlir/utils/jupyter/mlir_opt_kernel/kernel.py b/mlir/utils/jupyter/mlir_opt_kernel/kernel.py --- a/mlir/utils/jupyter/mlir_opt_kernel/kernel.py +++ b/mlir/utils/jupyter/mlir_opt_kernel/kernel.py @@ -128,8 +128,6 @@ '-o', '-' ] - if code.startswith('// configuration:'): - command.append('--run-reproducer') # Simple handling of repeating last line. if code.endswith('\n_'): if not self._: