diff options
Diffstat (limited to 'src/expr/node_manager.h')
| -rw-r--r-- | src/expr/node_manager.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 390af8967..870408939 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -1098,7 +1098,8 @@ inline TypeNode NodeManager::mkArrayType(TypeNode indexType, "cannot index arrays by a function-like type"); CheckArgument(!constituentType.isFunctionLike(), constituentType, "cannot store function-like types in arrays"); - Debug("arrays") << "making array type " << indexType << " " << constituentType << std::endl; + Debug("arrays") << "making array type " << indexType << " " + << constituentType << std::endl; return mkTypeNode(kind::ARRAY_TYPE, indexType, constituentType); } |