andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Removing obsolete 'c-minimal' terminology.

Browse Source
This commit is contained in:
Cas Cremers 2012-05-02 10:15:45 +02:00
parent ca5c7eaa49
commit 588ae30bef
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/binding.c
View File

@ -578,7 +578,7 @@ first_origination ()
eprintf ("Binding for "); eprintf ("Binding for ");
termPrint (b->term); termPrint (b->term);
eprintf eprintf
(" at r%i i%i is not c-minimal because it occurred before at r%i i%i in ", (" at r%i i%i is not redundant because it occurred before at r%i i%i in ",
b->run_from, b->ev_from, run, ev); b->run_from, b->ev_from, run, ev);
termPrint (rd->message); termPrint (rd->message);
eprintf ("\n"); eprintf ("\n");