diff options
Diffstat (limited to 'src/util/datatype.cpp')
-rw-r--r-- | src/util/datatype.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/datatype.cpp b/src/util/datatype.cpp index f009bbbbe..86a43c878 100644 --- a/src/util/datatype.cpp +++ b/src/util/datatype.cpp @@ -438,7 +438,7 @@ void DatatypeConstructor::resolve(ExprManager* em, DatatypeType self, d_tester = em->mkVar(d_name.substr(d_name.find('\0') + 1), em->mkTesterType(self)); d_name.resize(d_name.find('\0')); d_constructor = em->mkVar(d_name, em->mkConstructorType(*this, self)); - //associate constructor with all selectors + // associate constructor with all selectors for(iterator i = begin(), i_end = end(); i != i_end; ++i) { (*i).d_constructor = d_constructor; } |