* Added white-box TheoryEngine test that tests the rewriter

* Added regression documentation to test/regress/README

* Added ability to print types of vars in expr printouts
  with iomanipulator Node::printtypes(true)... for example,
    Warning() << Node::printtypes(true) << n << std::endl;

* Types-printing can be specified on the command line with
  --print-expr-types

* Improved type handling facilities and theoryOf().
  For now, SORT_TYPE moved from builtin theory to UF theory
  to match old behavior.

* Additional gdb debug functionality.  Now we have:

    debugPrintNode(Node)            debugPrintRawNode(Node)
    debugPrintTNode(TNode)          debugPrintRawTNode(TNode)
    debugPrintTypeNode(TypeNode)    debugPrintRawTypeNode(TypeNode)
    debugPrintNodeValue(NodeValue*) debugPrintRawNodeValue(NodeValue*)

  they all print a {Node,TNode,NodeValue*} from the debugger.
  The "Raw" versions print a very low-level AST-like form.
  The regular versions do the same as operator<<, but force
  full printing on (no depth-limiting).

* Other trivial fixes

1 files changed, 1 insertions, 1 deletions

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index cf02e1ece..5cf543459 100755
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -161,7 +161,7 @@ sub recurse {
         print $OUT " ** Minor contributors (to current version): $minor_contributors\n";
         print $OUT $standard_template;
         print $OUT " **\n";
-        print $OUT " ** \brief [[ Add one-line brief description here ]]\n";
+        print $OUT " ** \\brief [[ Add one-line brief description here ]]\n";
         print $OUT " **\n";
         print $OUT " ** [[ Add lengthier description here ]]\n";
         print $OUT " ** \\todo document this file\n";