diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
commit | 57e51c2212f1c626368c66c6fbcf78ea0ce9722e (patch) | |
tree | 6264e0a545a63bd8922fc7c2638fe003d404bdea /src/expr/expr_manager_template.h | |
parent | 342c81e52224be3afc255a8a719747fa5eafdb32 (diff) |
Minor refactorings, in response to code review (Bug #73)
Diffstat (limited to 'src/expr/expr_manager_template.h')
-rw-r--r-- | src/expr/expr_manager_template.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 1c1d6dbd7..82698732c 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -192,7 +192,7 @@ public: Type* mkSort(const std::string& name); // variables are special, because duplicates are permitted - Expr mkVar(Type* type, const std::string& name); + Expr mkVar(const std::string& name, Type* type); Expr mkVar(Type* type); /** Returns the minimum arity of the given kind. */ |