diff options
Diffstat (limited to 'src/expr/expr_manager_template.cpp')
-rw-r--r-- | src/expr/expr_manager_template.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr_manager_template.cpp b/src/expr/expr_manager_template.cpp index d87c498e6..5fe7b34c1 100644 --- a/src/expr/expr_manager_template.cpp +++ b/src/expr/expr_manager_template.cpp @@ -542,7 +542,7 @@ ArrayType ExprManager::mkArrayType(Type indexType, Type constituentType) const { DatatypeType ExprManager::mkDatatypeType(const Datatype& datatype) { // Not worth a special implementation; this doesn't need to be fast - // code anyway.. + // code anyway. vector<Datatype> datatypes; datatypes.push_back(datatype); vector<DatatypeType> result = mkMutualDatatypeTypes(datatypes); |