Deploying to gh-pages from @ 0a54bb0 🚀

introduction.html

@@ -171,7 +171,7 @@ <h3>Using the library<a class="headerlink" href="#using-the-library" title="Link
 </pre></div>
 </div>
 <p>You can verify the state of your automaton by generating the automaton in <code class="docutils literal notranslate"><span class="pre">.dot</span></code> format.</p>
-<div class="highlight-cpp notranslate"><div class="highlight"><pre><span></span><span class="w">    </span><span class="n">aut</span><span class="p">.</span><span class="n">print_to_DOT</span><span class="p">(</span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="p">);</span>
+<div class="highlight-cpp notranslate"><div class="highlight"><pre><span></span><span class="w">    </span><span class="n">aut</span><span class="p">.</span><span class="n">print_to_dot</span><span class="p">(</span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="p">);</span>
 
 <span class="w">    </span><span class="k">return</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span>
 <span class="p">}</span>