diff --git a/z3/tests/lib.rs b/z3/tests/lib.rs
index 7efaea45..3028a3e9 100644
--- a/z3/tests/lib.rs
+++ b/z3/tests/lib.rs
@@ -1221,7 +1221,7 @@ fn test_tactic_fail() {
 
     let tactic = Tactic::new(&ctx, "fail");
     let apply_results = tactic.apply(&goal, Some(&params));
-    assert!(matches!(apply_results, Err(_)));
+    assert!(apply_results.is_err());
 }
 
 #[test]