From: Lukáš Jiřiště <redacted>
Date: Mon, 29 Jun 2026 19:42:06 +0000 (+0200)
Subject: Change grammar so that the FTA goal is specified
X-Git-Url: https://git.ljiriste.work/?a=commitdiff_plain;h=9731bf74475c8eb25c922e43484664744ff4e78c;p=KyciFTA

Change grammar so that the FTA goal is specified
---

diff --git a/grammar b/grammar
index 1b68f9f..9bef2ae 100644
--- a/grammar
+++ b/grammar
@@ -1,5 +1,5 @@
 fault_tree -> statement fault_tree
-fault_tree -> statement
+fault_tree -> fta_logic
 statement -> atom
 statement -> system
 statement -> instantiation