pins2pins-ltl: using the enabledness (??) operator is not edge-based …

…LTL.
Meijuh · Apr 15, 2018 · 84f7909 · 84f7909
1 parent 330fda4
commit 84f7909
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pins-lib/pins2pins-ltl.c b/src/pins-lib/pins2pins-ltl.c
@@ -558,7 +558,7 @@ static void check_LTL(ltsmin_expr_t e, ltsmin_parse_env_t env,
             break;
         }
         case EVAR: {
-            info->has_EVAR = 1;
+            if (e->parent->token != LTL_EN) info->has_EVAR = 1;
             break;
         }
         default: break;