better err

oflatt · Apr 25, 2024 · 6f59fe4 · 6f59fe4
1 parent 325814f
commit 6f59fe4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -938,7 +938,7 @@ impl EGraph {
         run_report: &mut RunReport,
         search_results: &mut HashMap<Symbol, SearchResult>,
     ) {
-        let rules = self.rulesets.get(&ruleset).unwrap();
+        let rules = self.rulesets.get(&ruleset).unwrap_or_else(|| panic!("Unknown ruleset {}", ruleset));
         match rules {
             Ruleset::Rules(_ruleset_name, rule_names) => {
                 let copy_rules = rule_names.clone();