diff options
Diffstat (limited to 'src/rewriter.mli')
| -rw-r--r-- | src/rewriter.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/rewriter.mli b/src/rewriter.mli index fd874ba0..ab071318 100644 --- a/src/rewriter.mli +++ b/src/rewriter.mli @@ -73,8 +73,6 @@ val rewrite_ast : tannot ast -> tannot ast val rewrite_ast_base : tannot rewriters -> tannot ast -> tannot ast -val rewrite_ast_base_parallel : int -> tannot rewriters -> tannot ast -> tannot ast - (** Same as rewrite_defs_base but display a progress bar when verbosity >= 1 *) val rewrite_ast_base_progress : string -> tannot rewriters -> tannot ast -> tannot ast |