diff --git a/examples/kabort.rs b/examples/kabort.rs
index ea21f41e9a5d7958bf531b3240a4a65220b24b87..3375985d4e33c85a059baa13a6feda87f5b8ff16 100644
--- a/examples/kabort.rs
+++ b/examples/kabort.rs
@@ -11,7 +11,6 @@ use panic_halt as _;
 #[no_mangle]
 fn main() {
     let mut a = 0;
-    // ksymbol!(&mut a, "a");
     panic!();
 }
 
@@ -20,10 +19,10 @@ fn main() {
 fn main() {
     let mut a = 0;
     klee_make_symbolic(&mut a, "a");
-    // match a {
-    //     0 => klee_abort(),
-    //     2 => klee_abort(),
-    //     _ => (),
-    // };
+    match a {
+        0 => klee_abort(),
+        2 => klee_abort(),
+        _ => (),
+    };
     panic();
 }