Skip to content
Commit 01144140 authored by James Stevens's avatar James Stevens
Browse files

when unused inames are found upon linearization, warn instead of error

parent a140430d