ooops

AliveToolkit · Dec 22, 2024 · 80be7a9 · 80be7a9
1 parent d1e990c
commit 80be7a9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ir/state.cpp b/ir/state.cpp
@@ -736,7 +736,7 @@ bool State::startBB(const BasicBlock &bb) {
     throw_oom_exception();
 
   DisjointExpr<Memory> in_memory;
-  DisjointExpr<AndExpr> UB;
+  DisjointExpr<expr> UB;
   DisjointExpr<VarArgsData> var_args_in;
   OrExpr path;
 

diff --git a/ir/state.h b/ir/state.h
@@ -134,7 +134,7 @@ class State {
 
   struct BasicBlockInfo {
     smt::OrExpr path;
-    smt::DisjointExpr<smt::AndExpr> UB;
+    smt::DisjointExpr<smt::expr> UB;
     smt::DisjointExpr<Memory> mem;
     std::set<smt::expr> undef_vars;
     ValueAnalysis analysis;