Skip to content
Snippets Groups Projects
Commit 5523a287 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Change the syntax of merge (and adopt the one of heptagon). 

Also, force the merge to operate over an ident rather than on any val_exp.
parent 155adf54
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 74 additions and 85 deletions
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