Regex fixed after discussion with Shaz

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Concurrency/YieldTypeChecker.cs b/Source/Concurrency/YieldTypeChecker.cs
index e7614384..2432c483 100644
--- a/Source/Concurrency/YieldTypeChecker.cs
+++ b/Source/Concurrency/YieldTypeChecker.cs
@@ -24,7 +24,7 @@ namespace Microsoft.Boogie
     {

         /*static subfields of yieldtypesafe(YTS) property language*/

         static CharSetSolver yieldTypeCheckerAutomatonSolver;

-        static string yieldTypeCheckerRegex = @"^([12]+[34])*(D+([56]+[78]+[12]+[34]+)*A*(9+7+3)*)*$";// regex of property to build automaton of YTS language

+        static string yieldTypeCheckerRegex = @"^([1234])*([D]+([56781234])*A*([973])*)*$";// regex of property to build automaton of YTS language

         //(([12][34])*(D+([56][78][12][34])*(9+7+3)*))*

         static Automaton<BvSet> yieldTypeCheckerAutomaton;

         static Automaton<BvSet> minimizedTypeCheckerAutomaton;