Format

ajreynol · Jan 15, 2025 · a53c29c · a53c29c
1 parent 0ec00cc
commit a53c29c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/smt/expand_definitions.cpp b/src/smt/expand_definitions.cpp
@@ -86,7 +86,8 @@ Node ExpandDefs::expandDefinitions(TNode n,
       theory::TheoryRewriter* tr = rr->getTheoryRewriter(tid);
 
       Assert(tr != NULL);
-      Trace("expand") << "Expand definition on " << nr << " (from " << n << ")" << std::endl;
+      Trace("expand") << "Expand definition on " << nr << " (from " << n << ")"
+                      << std::endl;
       Node nre = tr->expandDefinition(nr);
       Trace("expand") << "...returns " << nre << std::endl;
       node = nre.isNull() ? nr : nre;

diff --git a/src/theory/datatypes/datatypes_rewriter.cpp b/src/theory/datatypes/datatypes_rewriter.cpp
@@ -1096,7 +1096,8 @@ Node DatatypesRewriter::expandDefinition(Node n)
   {
     case Kind::APPLY_SELECTOR:
     {
-      Trace("dt-expand") << "expand selector, share sel = " << d_opts.datatypes.dtSharedSelectors << std::endl;
+      Trace("dt-expand") << "expand selector, share sel = "
+                         << d_opts.datatypes.dtSharedSelectors << std::endl;
       ret = expandApplySelector(n, d_opts.datatypes.dtSharedSelectors);
       Trace("dt-expand") << "...returns " << ret << std::endl;
     }