diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-08-16 15:15:03 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-13 18:32:39 -0400 |
| commit | 14776d0aeb833a7e728a27af6ef545f20b495f7f (patch) | |
| tree | eccc91e0be00cfb9af7d757aae3dd07479c256fb /src/expr | |
| parent | 09fc93244e10b4450592b4ede151873142d54b34 (diff) | |
Documentation fixes, some code typo fixes, file perms, other minor things.
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/metakind_template.h | 2 | ||||
| -rw-r--r-- | src/expr/type_node.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index e3f1b5c45..93cebe00a 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -345,7 +345,7 @@ ${metakind_operatorKinds} }/* CVC4::kind namespace */ -#line 348 "${template}" +#line 349 "${template}" namespace theory { diff --git a/src/expr/type_node.h b/src/expr/type_node.h index 322f7ad92..145ca2aba 100644 --- a/src/expr/type_node.h +++ b/src/expr/type_node.h @@ -622,7 +622,7 @@ public: * If this is \top, i.e. there is no inhabited type that contains both, * a TypeNode such that isNull() is true is returned. * - * For more information see: http://church.cims.nyu.edu/wiki/Cvc4_Type_Lattice + * For more information see: http://cvc4.cs.nyu.edu/wiki/Cvc4_Type_Lattice */ static TypeNode leastCommonTypeNode(TypeNode t0, TypeNode t1); |