Change grammar so that the FTA goal is specified

diff --git a/grammar b/grammar
index 1b68f9f74d994ac67387391c52e3e402067908d3..9bef2ae3cab3677fd77e5f3caf4a1e1d815584be 100644 (file)
--- 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