Tuesday end-of-day commit.

Expected performance impact outside of datatypes/CVC parser is
negligible.

* CVC language LAMBDA, functional LET, type LET, precedence fixes,
  bitvectors, and arrays, with partial parsing support also for
  quantifiers, tuples, subranges, subtypes, and records
* support for complex recursive DATATYPE selectors, e.g.
    tree = node(children:ARRAY INT OF tree) | leaf(data:INT)
  these are complicated because they have to be left unresolved
  at parse time and dealt with in a second pass.
* bugfix for Exprs/Types that occurred when setting them to null
  (not Nodes/TypeNodes, just Exprs/Types).
* Cleanup/code review items

1 files changed, 1 insertions, 1 deletions

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 489564d5f..c45cc9b99 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -754,7 +754,7 @@ public:
 
 ${getConst_instantiations}
 
-#line 682 "${template}"
+#line 758 "${template}"
 
 namespace expr {