also allow imports relative to the _supplied_ input file#851

MichaelRawson merged 1 commit into

mastervprover/vampire:masterfrom

michael-relative-includesvprover/vampire:michael-relative-includesCopy head branch name to clipboard