recursively traverse initializer

Salvador Abreu
1 parent f461b0bb
Showing 1 changed file with 1 additions and 1 deletions Show diff stats
fzn-parser/semantic.pl
@@ -22,7 +22,7 @@ sa_n_traverse([_|Ns], NNs, ST) :- % ignore failing nodes (beware!)
  
 sa_n(var(N,T,I,A), V, ST) :-
     sa_attribs(A, AX, ST),
-    sa_n(I, NI, ST),		% parse initializer
+    sa_n_traverse(I, NI, ST),	% parse initializer
     V=var(N,T,NI,AX),		% new AST node becomes ST entry value
     st_insert(ST, N, V).
...	...	@@ -22,7 +22,7 @@ sa_n_traverse([_\|Ns], NNs, ST) :- % ignore failing nodes (beware!)
22	22
23	23	sa_n(var(N,T,I,A), V, ST) :-
24	24	sa_attribs(A, AX, ST),
25		- sa_n(I, NI, ST), % parse initializer
	25	+ sa_n_traverse(I, NI, ST), % parse initializer
26	26	V=var(N,T,NI,AX), % new AST node becomes ST entry value
27	27	st_insert(ST, N, V).
28	28
...	...