1 files changed, 1 insertions, 1 deletions
diff --git a/CiTree.cs b/CiTree.cs
index 8201152..5048dd6 100644
--- a/CiTree.cs
+++ b/CiTree.cs
@@ -715,7 +715,7 @@ public class CiAssert : CiStatement
 {
 	public CiExpr Cond;
 	public CiExpr Message = null;
-	public override bool CompletesNormally => !(this.Cond is CiLiteral literal) || (bool) literal.Value;
+	public override bool CompletesNormally => !(this.Cond is CiLiteralFalse);
 	public override void Accept(CiVisitor visitor) { visitor.Visit(this); }
 }