Skip to content

Commit

Permalink
Fix for <<X Y Z>> in z3.
Browse files Browse the repository at this point in the history
  • Loading branch information
Andrew Plotkin authored and Andrew Plotkin committed May 8, 2020
1 parent ce199b4 commit 78d9953
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion states.c
Original file line number Diff line number Diff line change
Expand Up @@ -170,7 +170,7 @@ static void parse_action(void)
if (version_number==4)
assemblez_4_to(call_vs_zc, AO, AO2, AO3, AO4, temp_var1);
else
assemblez_4(call_zc, AO, AO2, AO3, AO4);
assemblez_4_to(call_zc, AO, AO2, AO3, AO4, temp_var1);
break;
case 3:
AO5 = code_generate(AO5, QUANTITY_CONTEXT, -1);
Expand Down

0 comments on commit 78d9953

Please sign in to comment.