Commit 5d0248b1 authored by jfschaefer's avatar jfschaefer
Browse files

fix small bug in FGrammarLog

parent 10e4c2a4
......@@ -25,7 +25,7 @@ concrete FGrammarLog of FGrammar = MCatsLog ** {
};
fcid_fbinrel_fexpr_to_identifier a r1 b = {
formula = r1 ++ "(" ++ a ++ "," ++ b ++ ")";
core = b;
core = a;
hasFormula = true;
};
fexpr_fbinrel_fcid_fbinrel_fexpr_to_identifier a r1 b r2 c = {
......
Supports Markdown
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