From a4c599a43511c899bf322c03b4789cd6c99da873 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 4 Feb 2015 18:25:32 +0000 Subject: [PATCH] typo Signed-off-by: Christoph M. Wintersteiger --- src/ast/rewriter/rewriter.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/ast/rewriter/rewriter.txt b/src/ast/rewriter/rewriter.txt index 84dd85e15..cdfba9f0f 100644 --- a/src/ast/rewriter/rewriter.txt +++ b/src/ast/rewriter/rewriter.txt @@ -6,8 +6,9 @@ The following classes implement theory specific rewriting rules: - bv_rewriter - array_rewriter - datatype_rewriter + - fpa_rewriter -Each of the provide the method +Each of them provide the method br_status mk_app_core(func_decl * f, unsigned num_args, expr * const * args, expr_ref & result) where - f is expected to be a func_decl of the given theory