1 files changed, 1 insertions, 1 deletions
diff --git a/ir/ir.h b/ir/ir.h
index 5fe5e96..d072f23 100644
--- a/ir/ir.h
+++ b/ir/ir.h
@@ -187,7 +187,7 @@ struct function {
    bool isleaf;
    regset regusage;
 };
-#define FREQUIRE(_prop) assert((fn->prop & (_prop)) && "preconditions not met")
+#define FREQUIRE(_prop) assert((fn->prop & (_prop)) == (_prop) && "preconditions not met")
 
 enum objkind { OBJELF };