diff options
Diffstat (limited to 'src/expr/expr_manager_template.h')
-rw-r--r-- | src/expr/expr_manager_template.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 21526809e..e5df3ced3 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -114,6 +114,7 @@ public: /** * Make a unary expression of a given kind (NOT, BVNOT, ...). + * @param kind the kind of expression * @param child1 kind the kind of expression * @return the expression */ @@ -192,7 +193,7 @@ public: * suitably-sized chunks, taking advantage of the associativity of * <code>kind</code>. For example, if kind <code>FOO</code> has max arity * 2, then calling <code>mkAssociative(FOO,a,b,c)</code> will return - * <code>(FOO (FOO a b) c)</code> or code>(FOO a (FOO b c))</code>. + * <code>(FOO (FOO a b) c)</code> or <code>(FOO a (FOO b c))</code>. * The order of the arguments will be preserved in a left-to-right * traversal of the resulting tree. */ |