Skip to content
Snippets Groups Projects
Commit efe243d5 authored by pmai's avatar pmai
Browse files

In the handling of GF definition for a name with an existing non-GF

function definition:  Remove references in error messages to broken
make-specializable, and provide a reasonable continue restart, which
just drops the old definition.
parent 421dbdda
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment