New problem dropped

This commit is contained in:
Ayaz Hafiz 2022-12-02 14:14:18 -06:00
parent 66419e8f29
commit 705ce10085
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 1 additions and 2 deletions

View file

@ -268,6 +268,7 @@ impl Problem {
// injecting a crash message
Problem::UnappliedCrash { .. } => RuntimeError,
Problem::OverAppliedCrash { .. } => RuntimeError,
Problem::DefsOnlyUsedInRecursion(_, _) => Warning,
}
}