Deploying to gh-pages from @ dbb133f 🚀

type_constraints_8h_source.html

@@ -153,7 +153,7 @@
 <div class="line"><a id="l00028" name="l00028"></a><span class="lineno">   28</span> </div>
 <div class="foldopen" id="foldopen00030" data-start="{" data-end="};">
 <div class="line"><a id="l00030" name="l00030"></a><span class="lineno"><a class="line" href="class_p4_1_1_explain.html">   30</a></span><span class="keyword">class </span><a class="code hl_class" href="class_p4_1_1_explain.html">Explain</a> : <span class="keyword">public</span> <a class="code hl_class" href="class_inspector.html">Inspector</a> {</div>
-<div class="line"><a id="l00031" name="l00031"></a><span class="lineno">   31</span>    absl::flat_hash_set&lt;const IR::ITypeVar *, Util::Hash&gt; explained;</div>
+<div class="line"><a id="l00031" name="l00031"></a><span class="lineno">   31</span>    absl::flat_hash_set&lt;const IR::Type_Var *, Util::Hash&gt; explained;</div>
 <div class="line"><a id="l00032" name="l00032"></a><span class="lineno">   32</span>    <span class="keyword">const</span> <a class="code hl_class" href="class_p4_1_1_type_variable_substitution.html">TypeVariableSubstitution</a> *subst;</div>
 <div class="line"><a id="l00033" name="l00033"></a><span class="lineno">   33</span> </div>
 <div class="line"><a id="l00034" name="l00034"></a><span class="lineno">   34</span> <span class="keyword">public</span>:</div>