use unimplemented!()

informalsystems · Nov 16, 2023 · a59ad93 · a59ad93
1 parent 4ace04c
commit a59ad93
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Code/itf/tests/votekeeper.rs b/Code/itf/tests/votekeeper.rs
@@ -29,7 +29,7 @@ fn value_from_model(value: ItfValue) -> Option<ValueId> {
         "val1" => Some(1.into()),
         "val2" => Some(2.into()),
         "val3" => Some(3.into()),
-        _ => None,
+        _ => unimplemented!("unknown value {value:?}"),
     }
 }