From 0d9019ea39776a179d2e2c4b36deea2c0a956d80 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 9 Feb 2016 18:28:31 +0100 Subject: [PATCH] python: fix translate's doc string * python/spot/__init__.py (translate): Mention 'generic' in doc string. --- python/spot/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/spot/__init__.py b/python/spot/__init__.py index e5c9a1238..8781678e0 100644 --- a/python/spot/__init__.py +++ b/python/spot/__init__.py @@ -593,7 +593,7 @@ def translate(formula, *args, dict=_bdd_dict): may not be satisfied. The optional arguments should be strings among the following: - - at most one in 'TGBA', 'BA', or 'Monitor' + - at most one in 'TGBA', 'BA', or 'Monitor', 'generic' (type of automaton to build) - at most one in 'Small', 'Deterministic', 'Any' (preferred characteristics of the produced automaton)