From 267f819a9d253e6fb2e5fbb15c8c727ce3dda7ca Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 27 Jan 2017 13:10:50 +0100 Subject: [PATCH] * doc/org/tut51.org: Typo. --- doc/org/tut51.org | 2 -- 1 file changed, 2 deletions(-) diff --git a/doc/org/tut51.org b/doc/org/tut51.org index 45ba3ebd2..2920fc363 100644 --- a/doc/org/tut51.org +++ b/doc/org/tut51.org @@ -10,7 +10,6 @@ states, and where all runs are accepting (i.e., the acceptance condition is =t=). They are typically used by model checkers to represent the state space of the model to verify. - * Implementing a toy Kripke structure In this example, our goal is to implement a Kripke structure that @@ -528,7 +527,6 @@ passing the option "~k~" to =print_dot()= will fix that. #+RESULTS: [[file:kripke-3.png]] -1 * Possible improvements The on-the-fly interface, especially as implemented here, involves a