From ea060c99bd35838da6da4b81c7a13e5f96649cb9 Mon Sep 17 00:00:00 2001 From: Adda0 Date: Fri, 12 Jul 2024 07:36:04 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20@=20VeriFIT/?= =?UTF-8?q?mata@0a54bb0cce2120069ef2653465f0b57224f3e9e1=20=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- introduction.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/introduction.html b/introduction.html index fd047b4d2..c9600e7ee 100644 --- a/introduction.html +++ b/introduction.html @@ -171,7 +171,7 @@

Using the library.dot format.

-
    aut.print_to_DOT(std::cout);
+
    aut.print_to_dot(std::cout);
 
     return 0;
 }