From 1cac6685e5dc334473c304194d5f816b6ecf3469 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Tue, 18 Jul 2017 18:06:10 +0200 Subject: Adds missing predicate from g4 to instr scripts --- data/level/control_flow_level.data | 1 + 1 file changed, 1 insertion(+) (limited to 'data/level') diff --git a/data/level/control_flow_level.data b/data/level/control_flow_level.data index a880606..a7cc9c0 100644 --- a/data/level/control_flow_level.data +++ b/data/level/control_flow_level.data @@ -10,6 +10,7 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +(add_predicate is_start_node node process) (add_predicate has_kind node string) (add_predicate has_option node string) (add_predicate has_depth node node_depth) -- cgit v1.2.3-70-g09d2