don't panic when parsing bad types (this is genuinely awful)

1 files changed, 1 insertions, 1 deletions

diff --git a/tests/test_parser.rs b/tests/test_parser.rs
index 958fc37..54311b8 100644
--- a/tests/test_parser.rs
+++ b/tests/test_parser.rs
@@ -17,7 +17,7 @@ fn test_simple_phrases() {
 fn test_simple_annotations() {
     assert_eq!(parse_str("t: int"), Ok(Ann(Var("t"), Type::Integer)));
     assert_eq!(parse_str("12: nat"), Ok(Ann(Const(12, Type::Empty), Type::Natural)));
-    // assert!(parse_str("t: fake").is_err()); // fixme: currently panics
+    assert!(parse_str("t: fake").is_err());
 }
 
 #[test]