From 9aae97039cd5900d80bc5a98f94491e142de4fc3 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 8 Jul 2015 13:49:17 +0000 Subject: [PATCH] PrismSettings: Switch PRISM_LTL2DA_SYNTAX to CHOICE_TYPE git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10246 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismSettings.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index 618ce634..9a8270b7 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -311,7 +311,7 @@ public class PrismSettings implements Observer { STRING_TYPE, PRISM_LTL2DA_TOOL, "Use external LTL->DA tool", "4.2.1", "", null, "If non-empty, the path to the executable for the external LTL->DA tool."}, - { STRING_TYPE, PRISM_LTL2DA_SYNTAX, "LTL syntax for external LTL->DA tool", "4.2.1", "LBT", "LBT,Spin,Spot,Rabinizer", + { CHOICE_TYPE, PRISM_LTL2DA_SYNTAX, "LTL syntax for external LTL->DA tool", "4.2.1", "LBT", "LBT,Spin,Spot,Rabinizer", "The syntax for LTL formulas passed to the external LTL->DA tool."}, // PARAMETRIC MODEL CHECKING