Typo

Author: BrunoDutertre

doc/sphinx/source/api-types.rst

@@ -505,7 +505,7 @@ Models
    as nodes in a DAG. The API provides functions to compute and
    examine these nodes, which gives access to the values of terms of
    function or tuple types.  Every node in this DAG has a unique id
-   and a tag of type :c:type:`yval_t` that defines the node type::
+   and a tag of type :c:type:`yval_tag_t` that defines the node type::
 
       typedef enum yval_tag {
         YVAL_UNKNOWN,