From a36f40549eb1745f65ec12756458ab4c07130225 Mon Sep 17 00:00:00 2001
From: Chad Sharp <cmlsharp@umich.edu>
Date: Sun, 4 Aug 2024 15:28:18 -0400
Subject: [PATCH] Fix some const asserts not throwing errors
---
src/front/zsharp/mod.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/front/zsharp/mod.rs b/src/front/zsharp/mod.rs
index 38eb719e..80ac8920 100644
--- a/src/front/zsharp/mod.rs
+++ b/src/front/zsharp/mod.rs
@@ -1251,7 +1251,7 @@ impl<'ast> ZGen<'ast> {
.map_err(|e| format!("{e}"))
}
ast::Statement::Assertion(e) => {
- match self.expr_impl_::<true>(&e.expression).and_then(|v| {
+ match self.expr_impl_::<false>(&e.expression).and_then(|v| {
const_bool(v)
.ok_or_else(|| "interpreting expr as const bool failed".to_string())
}) {