diff --git a/Cargo.toml b/Cargo.toml
index 3c9ab44..1c2ed94 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -29,7 +29,7 @@ vec1 = "1.8.0"
 clingo-sys =  "=0.7.2"
 clingo-derive = { version = "=0.2.0", optional = true }
 thiserror = "1.0"
-bitflags = "1.2"
+bitflags = "2.2"
 
 [dev-dependencies]
 rand = "0.8.5"
diff --git a/src/lib.rs b/src/lib.rs
index 82f098b..1469c02 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -630,6 +630,7 @@ bitflags! {
     }
 }
 bitflags! {
+    #[derive(Debug)]
     /// Bit flags that describes the result of a solve call.
     pub struct SolveResult: u32 {
         /// The problem is satisfiable.