Commit a354e9c6 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl
Browse files

Merge remote-tracking branch 'camil/consistent-names-for-cafs'

change caf data label name to "v"+++caf_name
parents 9b64feb4 f9e5bba6
......@@ -786,7 +786,7 @@ static void CodeRule (ImpRuleP rule)
GenOStackLayoutOfStates (a_stack_size_of_strict_entry,init_b_stack_top,rule_sdef->sdef_arity,rule->rule_state_p);
GenLabelDefinition (&CurrentAltLabel);
MakeSymbolLabel (&caf_label,NULL,caf_pref,rule_sdef,0);
MakeLabel (&caf_label,rule_sdef->sdef_ident->ident_name,0,caf_pref);
MakeLabel (&local_label,m_symb,NewLabelNr++,no_pref);
DetermineSizeOfState (resultstate,&a_size,&b_size);
......
......@@ -55,7 +55,7 @@ char eu_pref[] = "eu";
char l_pref[] = "l";
char s_pref[] = "s";
char caf_pref[] = "c";
char caf_pref[] = "v";
char glob_sel[] = "_S";
char m_symb[] = "m";
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment