diff --git a/doc/org/tut11.org b/doc/org/tut11.org index beb9433ec..703664a73 100644 --- a/doc/org/tut11.org +++ b/doc/org/tut11.org @@ -1,5 +1,5 @@ # -*- coding: utf-8 -*- -#+TITLE: Translating an LTL formula into a monitors +#+TITLE: Translating an LTL formula into a monitor #+DESCRIPTION: Code example for using Spot to translating formulas in monitors #+SETUPFILE: setup.org #+HTML_LINK_UP: tut.html