From b04c97458daa2d8dc3a460df6a5fdc5936188447 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 14 Apr 2020 17:34:14 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/seq_rewriter_params.pyg | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 src/ast/rewriter/seq_rewriter_params.pyg diff --git a/src/ast/rewriter/seq_rewriter_params.pyg b/src/ast/rewriter/seq_rewriter_params.pyg new file mode 100644 index 000000000..6cd84e7a0 --- /dev/null +++ b/src/ast/rewriter/seq_rewriter_params.pyg @@ -0,0 +1,4 @@ +def_module_params(module_name='rewriter', + class_name='seq_rewriter_params', + export=True, + params=(("coalesce_chars", BOOL, True, "coalesce characters into strings"),))