From cbfb79e343efbdda6dc82b0b175357bb095f62da Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 23 Apr 2017 11:28:28 +0200 Subject: [PATCH] typos: familly -> family * bench/ltlcounter/README, doc/org/upgrade2.org: Here. --- bench/ltlcounter/README | 2 +- doc/org/upgrade2.org | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bench/ltlcounter/README b/bench/ltlcounter/README index d3e30ad66..5ccd08ffc 100644 --- a/bench/ltlcounter/README +++ b/bench/ltlcounter/README @@ -16,7 +16,7 @@ describing counters was used to stress many translators. For a description of these formulae, you may also see http://ti.arc.nasa.gov/m/profile/kyrozier/benchmarking_scripts/node5.html -This benchmark used this familly of formulae to plot the performance +This benchmark used this family of formulae to plot the performance of the ltl2tgba_fm algorithm. Studying the behaviour of ltl2tgba_fm on this class of formulae helped us to improve the translation. diff --git a/doc/org/upgrade2.org b/doc/org/upgrade2.org index 942b05eaf..6dced8000 100644 --- a/doc/org/upgrade2.org +++ b/doc/org/upgrade2.org @@ -74,7 +74,7 @@ experience of updating a couple of projects that are using Spot. 7. [[*Various renamings][Several class, functions, and methods, have been renamed]]. Some have been completely reimplemented, with different interfaces. - In particular the =tgba_explicit_*= familly of classes + In particular the =tgba_explicit_*= family of classes (=tgba_explicit_formula=, =tgba_explicit_number=, =tgba_explicit_string= used to encode a TGBA using a graph whose state was named using LTL formulas, integers, or strings) are